Judit Robu, Dorin Tepeneu, Tetsuo Ida, Hidezaku Takahashi, Bruno Buchberger,
"Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness"
: Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry), 2004
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)
Forschungs-