You are here

Ida Tetsuo

Researcher's full information

Articles
  • Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions
    Fadoua Ghourabi; Tetsuo Ida; and Dongming Wang
    Proceedings of the Tunisia - Japan Workshop on Symbolic Computation in Software Science (SCSS 2009),/p.90-92, 2009
  • Symbolic and Algebraic Methods in Computational Origami
    Tetsuo Ida
    Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation/pp.3-4, 2009-01
  • Origami Fold as Algebraic Graph Rewriting
    Tetsuo Ida; Hidekazu Takahashi
    Proceedings of the 24th annual ACM, Symposium on Applied Computing (SAC 2009)/p.1132-1138, 2009
  • Extended Web Services for Computational Origami
    A. Kasem; T. Ida
    Proceedings of the Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2010). RISC, Hagenberg, Austria./RISC-Linz Report Series(10-10)/p.144 -154, 2010-07
  • Proof Documents of Origami Theorems
    F. Ghourabi; T. Ida; A. Kasem
    Proceedings of the 7th International Workshop on Automated Deduction in Geometry. ADG 2010/p.162-170, 2010-07
  • Graph Rewriting in Computational Origami
    T. Ida
    Proceedings of Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting, 2010-07
  • Huzita's Origami Axioms Revisited
    T. Ida
    InterSymp 2010, 2010-08
  • Morley's Theorem Revisited: Origami Construction and Automated Proof
    T. Ida; A. Kasem; F. Ghourabi; H. Takahashi
    Journal of Symbolic Computation/46(5)/p.571– 583, 2010-10
  • Origami Fold as Algebraic Graph Rewriting
    Tetsuo Ida; Hidekazu Takahashi
    Journal of Symbolic Computation/45(4):/p.393-413., 2010
  • Origami Axioms and Circle Extension
    A. Kasem; F. Ghourabi; T. Ida
    Proceedings of the 26th Symposium on Applied Computing (SAC 2011)/p.1106--1111, 2011-03