E-Dissertationen: Suche
Anzeige der Dokumente 1-1 von 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 ...