Towards the Mechanical Verification of Textbook Proofs

by Claus Zinn
Citations:1 - 1 self

Active Bibliography

Checking Textbook Proofs – Claus Zinn - 1998
7 Understanding Mathematical Discourse – Claus Zinn, Universität Erlangen-nürnberg - 1999
1 Computing Presuppositions and Implicatures in Mathematical Discourse – Claus Zinn
Conditionals and Pseudo-Conditionals in Mathematical Texts – Claus Zinn
On the Relationship Between Structure and Reference in Mathematical Discourse – Claus Zinn
Structuring Textbook Proofs – Claus Zinn - 1999
108 The Rhetorical Parsing, Summarization, and Generation of Natural Language Texts – Daniel Marcu - 1997
9 Imperatives in Dialogue – Alex Lascarides, Nicholas Asher - 2001
Anaphora and Discourse Structure Bonnie Webber – Aravind Joshi, Matthew Stone, Alistair Knott - 2002
20 Understanding Informal Mathematical Discourse – Claus Werner Zinn - 2004
RESTRUCTURING FORMAL MATHEMATICS FOR NATURAL TEXTS – Amanda Mildred Holland-Minkley - 2004
4 English summaries of mathematical proofs – Marianthi Alexoudi, Claus Zinn, Alan Bundy - 2004
10 Planning Reference Choices for Argumentative Texts – Xiaorong Huang
16 Structured Calculational Proof – Ralph Back, Jim Grundy, Joakim von Wright, Turku Centre, Computer Science - 1996
128 A Data-Driven Methodology for Motivating a Set of Coherence Relations – Alistair Knott - 1996
14 Cognitive States, Discourse Structure and the Content of Dialogue – Alex Lascarides, Nicholas Asher - 1999
2 Knowledge Representation for Language Engineering – Matthew Stone
21 Intentions And Information In Discourse – Nicholas Asher, Alex Lascarides - 1994
2 Questions in Dialogue – Nicholas Asher, Alex Lascarides - 1996