Active Bibliography

1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn
An Intelligent Tutoring System for Induction Proofs – Alan Bundy, Johanna Moore, Claus Zinn
Conditionals and Pseudo-Conditionals in Mathematical Texts – Claus Zinn
Checking Textbook Proofs – Claus Zinn - 1998
7 Understanding Mathematical Discourse – Claus Zinn, Universität Erlangen-nürnberg - 1999
Defended by – Spécialité Mathématiques Et Informatiques, Muhammad Humayoun, Thèse Christophe, Raffalli Aarne Ranta, M Loïc Pottier, Sophia Antipolis, M Laurent, Vuillon Professeur, Université De Savoie, Mme Laurence, Danlos Professeur, Université De Paris Examinateur, M Christophe, Raffalli Maître Conférences, Directeur De Thèse, Université De Savoie, M Aarne Ranta, Muhammad Humayoun - 2012
1 Computing Presuppositions and Implicatures in Mathematical Discourse – Claus Zinn
Proof Systems -- A Vade-mecum – Krysia Broda - 2000
On the Relationship Between Structure and Reference in Mathematical Discourse – Claus Zinn
Structuring Textbook Proofs – Claus Zinn - 1999
3 Verifying Textbook Proofs – Claus Zinn - 1998
1 Computer Theorem Proving in Math – Carlos Simpson
4 MathNat- Mathematical Text in a Controlled Natural Language – Muhammad Humayoun, Christophe Raffalli
Generating Proof Representation Structures – Magister Artium M. A, Philosophischen Fakultät, Nickolay Mitkov Kolev, Dass Die Arbeit, Nickolay Kolev Danksagung, Peter Koepke, Jip Veldman, Merlin Carl, Bernhard Fisseni Zusammenarbeit
3 On Correctness of Mathematical Texts from a Logical and Practical Point of View – Konstantin Verchinine, Er Lyaletski, Andrei Paskevich, Anatoly Anisimov - 2008
A Gradual Computerisation Path in the MathLang Framework: A First Year Report – Robert Lamar - 2007
Looking Ahead – Peter B. Andrews
30 The Early History of Automated Deduction – Martin Davis, H. Gelernter - 2001
180 Steps toward artificial intelligence – Marvin Minsky - 1961