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