Login / Signup
Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving.
Benjamin Grégoire
Loïc Pottier
Laurent Théry
Published in:
Automated Deduction in Geometry (2008)
Keyphrases
</>
geometry theorem proving
theorem proving
data model
theorem prover
data driven
multi agent systems
image processing
feature selection
information systems
database
search engine
semi automatic
expressive power
fully automatic
temporal logic
machine learning
neural network
data sets