Finding Proofs in Tarskian Geometry.

Michael Beeson Larry Wos

Published in: CoRR (2016)

Keyphrases

databases
theorem proving
theorem prover
artificial intelligence
image processing
object recognition
evolutionary algorithm