Understanding Mathematical Discourse (1999)

by Claus Zinn
Venue:DIALOGUE. AMSTERDAM UNIVERSITY
Citations:7 - 6 self

Documents Related by Co-Citation

13 How to Read and Do Proofs – Daniel Solow - 1982
9 Checking Number Theory Proofs in Natural Language – D L Simon - 1990
718 From discourse to logic – H Kamp, U Reyle - 1993
4 Writing mathematical papers in english – J TRZECIAK - 1993
303 Reference to Abstract Objects in Discourse – N Asher - 1993
8 The Use of Explicit Proof Plans to Guide Inductive Proofs – Alan Bundy - 1988
126 The Oyster-Clam system – A Bundy, F van Harmelen, C Horn, A Smaill - 1990
4 Parsing Formulae in Textbook Proofs – Claus Zinn, Lehrstuhl Fur Kunstliche Intelligenz - 1999
22 On the Shape of Mathematical Arguments – I31 A J M van Gasteren - 1988
15 XBarnacle: Making Theorem Provers More Accessible – Helen Lowe, David Duncan - 1997
51 The semantics and pragmatics of presupposition – Nicholas Asher, Alex Lascarides - 1998
89 Discourse Relations And Defeasible Knowledge – Alex Lascarides, Nicholas Asher - 1991
81 How to Write a Proof – Leslie Lamport - 1993
265 Presupposition projection as anaphora resolution – Rob van der Sandt - 1992
45 On proof and progress in mathematics – William P Thurston - 1995
18 Benthem Jutting. Checking Landau's "Grundlagen – L S van - 1977
7 Machine verification of mathematical proofs – P W ABRAHAMS - 1963
28 The translation of formal proofs into English – Daniel Chester - 1976
30 An introduction to the theory of numbers. Oxford, at the Clarendon – G H Hardy, E M Wright - 1954