OTTER Proofs in Tarskian Geometry.

Michael Beeson Larry Wos

Published in: IJCAR (2014)

Keyphrases

theorem prover
theorem proving
formal proof
first order logic
natural deduction
geometric information
mathematical proofs
logic programs
inference rules
object recognition
natural language
geometric constraints
geometric structure
bayesian networks
database systems
proof search
case study
image processing