Rigour and Proof.

Oliver Tatton-Brown

Published in: Rev. Symb. Log. (2023)

Keyphrases

theorem prover
linear logic
mathematical proofs
artificial intelligence
automated theorem proving
geometry theorem proving
database
data mining
information retrieval
objective function
digital libraries
proof planning
interactive theorem proving