Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry)
Number of pages	15
Publication status	Published - 2004

Fields of science

@inproceedings{d506fbf97a224ea59b2e65f7869a76bf,

title = "Computational Origami Construction of a Regular Heptagon with Automated Proof of its Correctness",

author = "Judit Robu and Dorin Tepeneu and Tetsuo Ida and Hidezaku Takahashi and Bruno Buchberger",

year = "2004",

language = "English",

booktitle = "Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry)",

}