We present a computational origami construction of Morley's triangles and automated proof of correctness of the generalized Morley's theorem in a streamlined process of solving-computing-proving. The whole process is realized by a computational origami system being developed by us. During the computational origami construction, geometric constraints in symbolic and numeric representation are generated and accumulated. Those constraints are then transformed into algebraic relations, which in turn are used to prove the correctness of the construction. The automated proof required non-trivial amount, of computer resources, and shows the necessity of networked services of mathematical software. This example is considered to be a case study for innovative mathematical knowledge management. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Ida, T., Takahashi, H., & Marin, M. (2006). Computational origami of a morley’s triangle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3863 LNAI, pp. 267–282). https://doi.org/10.1007/11618027_18
Mendeley helps you to discover research relevant for your work.