A Synthetic Proof of Pappus' Theorem in Tarski's Geometry.

Gabriel Braun Julien Narboux

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

Keyphrases

interactive theorem proving
geometry theorem proving
three dimensional
theorem proving
theorem prover
linear logic
real world
expert systems
real images are presented
image segmentation
evolutionary algorithm
geometric information
proof search
proof planning
euclidean geometry