The Proof Certifier Checkers.

Zakaria Chihani Tomer Libal Giselle Reis

Published in: TABLEAUX (2015)

Keyphrases

theorem prover
theorem proving
linear logic
geometry theorem proving
game playing
data sets
learning algorithm
search engine
feature selection
decision making
expert systems
inference rules
automated theorem proving
proof planning
mathematical proofs