Login / Signup
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness.
Judit Robu
Tetsuo Ida
Dorin Tepeneu
Hidekazu Takahashi
Bruno Buchberger
Published in:
Automated Deduction in Geometry (2004)
Keyphrases
</>
semi automated
provably correct
computer assisted
construction process
machine learning
mathematical programming
real time
information retrieval
social networks
image sequences
multi agent
search algorithm
special case
data driven
computational model