Proof documents for automated origami theorem proving

  • Authors:

  • Fadoua Ghourabi;Tetsuo Ida;Asem Kasem

  • Affiliations:

  • Department of Computer Science, University of Tsukuba, Tsukuba, Japan;Department of Computer Science, University of Tsukuba, Tsukuba, Japan;Faculty of Informatics and Communications Engineering, Yarmouk Private University, Daraa, Syria

  • Venue:
  • ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

A proof document for origami theorem proving is a record of entire process of reasoning about origami construction and theorem proving. It is produced at the completion of origami theorem proving as a kind of proof certificate. It describes in detail how the whole process of an origami construction and the subsequent theorem proving are carried out in our computational origami system. In particular, it describes logical and algebraic transformations of the prescription of origami construction into mathematical models that in turn become amenable to computation and verification. The structure of the proof document is detailed using an illustrative example that reveals the importance of such a document in the analysis of origami construction and theorem proving.