Login / Signup
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
Sana Stojanovic Durdevic
Julien Narboux
Predrag Janicic
Published in:
Ann. Math. Artif. Intell. (2015)
Keyphrases
</>
automated theorem provers
three dimensional
semi automated
test bed
sufficient conditions
theorem proving
machine learning
case study
fully automated
data mining
video sequences
digital libraries
fully automatic
theorem prover
generation process
formal proofs