E-Dissertationen: Search
Now showing items 1-1 of 1
Proof-checking mathematical texts in controlled natural language
(2013-10-30)
The research conducted for this thesis has been guided by the vision of a computer program that could check the correctness of mathematical proofs written in the language found in mathematical textbooks. Given that reliable ...