Finding Proofs in Tarskian Geometry.

Michael Beeson Larry Wos

Published in: J. Autom. Reason. (2017)

Keyphrases

three dimensional
database
artificial intelligence
data sets
image processing
digital libraries
databases
machine learning
information systems
metadata
feature space
d scene
theorem prover
formal proof