Title | ||
---|---|---|
Computational origami construction of a regular heptagon with automated proof of its correctness |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/11615798_2 | Automated Deduction in Geometry |
Keywords | Field | DocType |
computational origami construction,non-trivial example,regular heptagon,japanese traditional art,computational origami,automated proof,geometrical object,paper folding,origami construction,computer scientist,enjoyable art | Correctness proofs,Computer science,Computational geometry,Correctness,Algorithm,Proof theory,Heptagon,Symbolic computation | Conference |
Volume | ISSN | ISBN |
3763 | 0302-9743 | 3-540-31332-X |
Citations | PageRank | References |
5 | 0.80 | 4 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Judit Robu | 1 | 67 | 5.04 |
Tetsuo Ida | 2 | 242 | 36.51 |
Dorin Ţepeneu | 3 | 5 | 1.14 |
Hidekazu Takahashi | 4 | 5 | 0.80 |
Bruno Buchberger | 5 | 847 | 168.26 |
D Tepeneu | 6 | 5 | 0.80 |