Judit Robu, Bruno Buchberger, Hidezaku Takahashi, Tetsuo Ida, Dorin Tepeneu,
"Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness"
, in Hoon Hong and Dongming Wang: Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry, Serie Lecture Notes in Computer Science (LNCS), Vol. 3763, Springer Berlin / Heidelberg, Seite(n) 19-33, 2006, ISBN: 978-3-540-31332-8
Original Titel:
Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry
Original Kurzfassung:
Construction of geometrical objects by origami, the Japanese traditional art of paper folding, is enjoyable and intriguing. It attracted the minds of artists, mathematicians and computer scientists for many centuries. Origami will become a more rigorous, effective and enjoyable art if the origami constructions can be visualized on the computer and the correctness of the constructions can be automatically proved by an algorithm. We call the methodology of visualizing and automatically proving origami constructions computational origami. As a non-trivial example, in this paper, we visualize a construction of a regular heptagon by origami and automatically prove the correctness of the construction. },
series = {Lecture Notes in Computer Science
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Berlin / Heidelberg
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
3763
Seitenreferenz:
19-33
Erscheinungsjahr:
2006
ISBN:
978-3-540-31332-8
Anzahl der Seiten:
15
Notiz zur Publikation:
annote: 2004-09-16-A
organization: University of Florida, Gainesville, FL, USA
Forschungs-