Proof-checking Euclid.

Michael Beeson Julien Narboux Freek Wiedijk

Published in: Ann. Math. Artif. Intell. (2019)

Keyphrases

theorem prover
automated theorem proving
proof planning
web services
theorem proving
consistency checking
mathematical proofs
geometry theorem proving
data sets
neural network
information systems
information technology
evolutionary algorithm
linear logic
natural deduction