Understanding Informal Mathematical Discourse

Understanding Informal Mathematical Discourse (2004)

Cached

Download Links

by Claus Werner Zinn

Citations:

BibTeX

@MISC{Zinn04understandinginformal,
    author = {Claus Werner Zinn},
    title = {Understanding Informal Mathematical Discourse},
    year = {2004}
}

Bookmark

OpenURL

Abstract

Citations

209	Presupposition Projection as Anaphora Resolution - Sandt - 1992
134	Proving theorems by pattern recognition - Wang - 1961
75	Isar — a generic interpretative approach to readable formal proof documents - Wenzel - 1999
36	Adventures of a Mathematician - Ulam - 1976
35	Benthem Jutting. Checking Landau’s “Grundlagen” in the AUTOMATH system - van - 1977
32	Anaphora and discourse structure - Webber, Joshi, et al. - 2003
29	and E.B.White. The Elements of Style - Strunk - 1972
29	Toward mechanical mathematics - Wang - 1960
27	On proof and progress in mathematics - Thurston - 1994
20	On the shape of Mathematical Arguments - Gasteren - 1988
19	From Mathematics to Philosophy - Wang - 1974
16	Free choice disjunction and epistemic possibility - Zimmermann - 2000
15	The Desirability of Formalization in Science - Suppes - 1968
13	How to Read and Do Proofs - Solow - 1982
13	The Mizar-QC/6000 logic information language - Trybulec - 1978
9	Checking natural language proofs - Simon - 1988
8	Checking Number Theory Proofs in Natural Language - Simon - 1990
7	A survey of Mathematical Logic - Wang - 1963
7	Understanding Mathematical Discourse - Zinn - 1999
7	A computational framework for understanding mathematical discourse, Logic - Zinn - 2003
6	How to Prove It - Velleman - 1994
4	Parsing formulae in textbook proofs - Zinn - 1999
3	The nature of mathematical proof - Wilder - 1944
3	Verifying textbook proofs - Zinn - 1998
1	Introduction to logic. D. van Nostrand company - Suppes - 1957
1	Three insufficiently attended to aspects of most mathematical proofs: phenomenological studies - Tragesser - 1992
1	Representing Discourse in Context, chapter 3, pages 179–237. Handbook of Logic - Eijck, Kamp - 1997
1	von Kutschera. Gottlob Frege. Walter de Gruyter - unknown authors - 1989
1	136–179. Inside computer understanding: Five programs plus miniatures, Ed. by - PAM - 1981
1	Computers do produce beautiful mathematics - Wos - 1991
1	Computing Presuppositions and Implicatures in Mathematical Discourse - Zinn - 2000
1	Towards the Mechanical Verification of Textbook Proofs - Zinn - 2000
1	Basic Properties of Functor Structures - Zinn, Jaksch - 1996
1	Abschluss mit Erwerb der allgemeinen Hochschulreife (Abitur - Gymnasium, Kassel - 1986