Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleComputational construction of a maximum equilateral triangle inscribed in an origami.
Author(s) Fadoua Ghourabi, Asem Kasem, Maria Grazia Marinari, Hidekazu Takahashi, Thomas Uchida
TypeBook, Chapter in Book, Conference Proceeding
AbstractWe present an origami construction of a maximum equilateral triangle inscribed in an origami, and an automated proof of the correctness of the construction. The construction and the correctness proof are achieved by a computational origami system called Eos (E-origami system). In the construction we apply the techniques of geometrical constraint solving, and in the automated proof we apply Gröbner bases theory and the cylindrical algebraic decomposition method. The cylindrical algebraic decomposition is indispensable to the automated proof of the maximality since the specification of this property involves the notion of inequalities. The interplay of construction and proof by Gröbner bases method and the cylindrical algebraic decomposition supported by Eos is the feature of our work.
ISBN978-3-540-38084-9/pbk
URL http://link.springer.com/chapter/10.1007%2F11832225_36
LanguageEnglish
Pages361--372
PublisherBerlin: Springer
Year2006
Edition0
Translation No
Refereed No
Webmaster