| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 9655863 | Electronic Notes in Theoretical Computer Science | 2005 | 12 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Patrick Thévenon,