• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Understanding Informal Mathematical Discourse (2004)

Cached

  • Download as a PDF

Download Links

  • [1141207398409599503-a-1802744773732722657-s-sites.googlegroups.com]
  • [sites.google.com]
  • [sites.google.com]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Claus Werner Zinn
Citations:14 - 0 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University