Proof Outlines as Proof Certificates: A System Description.

Roberto Blanco Dale Miller

Published in: WoF'15 (2015)

Keyphrases

theorem proving
decision trees
theorem prover
precise definition
high level
expert systems
real world
genetic algorithm
three dimensional
medical images
linear logic
proof theory
proof planning
geometry theorem proving