Ida Tetsuo
- 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
- Theorem Proving Based on the Characteristic Set Method for Computational Origami Constructions