Computational construction of a maximum equilateral triangle inscribed in an origami

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4151 LNCS, Issue , 2006, Pages 361-372

  Ida, Tetsuo ^a   Takahashi, Hidekazu ^a   Marin, Mircea ^a   Ghourabi, Fadoua ^a   Kasem, Asem ^a  

^a UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; CONSTRAINT THEORY; ERROR CORRECTION; PROBLEM SOLVING; TRIANGULATION;

COMPUTATIONAL ORIGAMI SYSTEM; CYLINDRICAL ALGEBRAIC DECOMPOSITION METHOD; EQUILATERAL TRIANGLE; GRÖBNER BASES THEORY;

COMPUTATIONAL METHODS;

EID: 33750086322     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11832225_36     Document Type: Conference Paper

References (9)

1. D. S. Arnon, G. E. Collins, and S. McCallum. Cylindrical algebraic decomposition I: The basic algorithm. SIAM Journal on Computing, 13(4)-.865-877, 1984.
2. B. Buchberger. Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes mathematicae, 4(3):374-383, 1970.
3. B. Buchberger, C. Dupre, T. Jebelean, F. Kriftner, K. Nakagawa, D. Vǎsaru, and W. Windsteiger. The Theorema Project: A Progress Report. In M. Kerber and M. Kohlhase, editors, Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium, pages 98-113, St. Andrews, Scotland, August 6-7 2000.
4. 3: Third International Meeting of Origami Science, Mathematics and Education, pages 3-16, Natick, Massachusetts, 2002. A K Peters, Ltd.
5. R. Geretschläger. Geometric Constructions in Origami. Morikita Publishing Co., 2002. In Japanese, translation by Hidetoshi Fukagawa.
6. T. Hull. Origami and geometric constructions. 2005. http://www.merrimack. edu/~thull/omfiles/geoconst.html.
7. H. Huzita. Axiomatic Development of Origami Geometry. In H. Huzita ed, editor, Proceedings of the First International Meeting of Origami Science and Technology, pages 143-158.
8. T. Ida, D. Tepeneu, B. Buchberger, and J. Robu. Proving and Constraint Solving in Computational Origami. In Proceeding of the 7th International Symposium on Artificial Intelligence and Symbolic Computation (AISC 2004), volume 3249 of Lecture Notes in Artificial Intelligence, pages 132-142, 2004.
9. T. Ida, H. Takahashi, D. Tepeneu, and M. Marin. Morley's Theorem Revisited through Computational Origami. In Proceedings of the 7th International Mathematica Symposium (IMS 2005), 2005.