Login / Signup
A Graphical User Interface for Formal Proofs in Geometry.
Julien Narboux
Published in:
J. Autom. Reason. (2007)
Keyphrases
</>
formal proofs
graphical interface
information systems
viewpoint
evolutionary algorithm
geometric information
euclidean geometry