First-order logic and automated theorem proving
First-order logic and automated theorem proving
Principles of automated theorem proving
Principles of automated theorem proving
The resolution calculus
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
A Resolution Theorem Prover for Intuitonistic Logic
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
MathAbs: a representational language for mathematics
Proceedings of the 8th International Conference on Frontiers of Information Technology
Hi-index | 0.00 |
In this paper we present the DemoNat project, its purposes and the ideas developed so far. DemoNat is a French project whose aim is to make a program able to analyze and validate proofs made in a natural language. It will be used by students in order to improve the way they understand and make mathematical proofs.