Claus Zinn  Home/Search
Context Related
| faui8l.informatik.unierla...iwcs.ps.gz www8.informatik.unierlang...iwcs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: faui8l.informatik.unierlangen... (more) From: www8.informatik.unierlang...zinn (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Knowledge is essential for understanding discourse. Generally, this has to be common sense knowledge and therefore, discourse understanding is hard. For the understanding of textbook proofs, however, only a limited quantity of knowledge is necessary. In addition, we have gained something very essential: inference. A prerequisite for parsing textbook proofs is to being able to parse formulae that occur in these proofs. Parsing formulae alone in the empty context is trivial. But within the... (Update)
Cited by: More
Verifying Textbook Proofs - Claus Zinn Lehrstuhl (1998) (Correct)
Similar documents (at the sentence level):
10.1%: Checking Textbook Proofs - Content Areas (Correct)
7.4%: Parsing Formulae in Textbook Proofs - Zinn (1999) (Correct)
Active bibliography (related documents): More All
0.5: Aesthetic Computing: Making Artistic Mathematics & Software - Fishwick (2001) (Correct)
0.2: On the Communication of Mathematical Reasoning - Bagchi, Wells (1997) (Correct)
0.2: Varieties of Mathematical Prose - Bagchi, Wells (1997) (Correct)
Similar documents based on text: More All
0.1: Towards the Automatic Verification of Informal Proofs - Claus Zinn (Correct)
0.1: COLOSSEUM - An Automated Theorem Prover for Intuitionistic.. - Zinn (Correct)
0.1: System Description: COLOSSEUM - An Automated Theorem Prover for.. - Zinn (Correct)
BibTeX entry: (Update)
C. Zinn. A DRT-based approach for formula parsing in textbook proofs. In Third International Workshop on Computational Semantics (IWCS-3), Tilburg, 1999. To appear. 264 http://citeseer.ist.psu.edu/zinn99drtbased.html More
@misc{ zinn99drtbased,
author = "C. Zinn",
title = "A DRT-based approach for formula parsing in textbook proofs",
text = "C. Zinn. A DRT-based approach for formula parsing in textbook proofs. In
Third International Workshop on Computational Semantics (IWCS-3), Tilburg,
1999. To appear. 264",
year = "1999",
url = "citeseer.ist.psu.edu/zinn99drtbased.html" }
Citations (may not include all citations):439 An introduction to the theory of numbers (context) - Hardy, Wright - 1971
45 Kluwer Academic Publishers (context) - Kamp, Reyle et al. - 1993
9 Bridging as coercive accommodation - Bos, Mineur et al. - 1995
7 Checking natural language proofs (context) - Simon - 1988
6 Chelsea Publishing Company (context) - Landau - 1960
6 An example for natural language understanding and the AI pro.. (context) - McCarthy - 1976
5 American Mathematical Society (context) - Krantz, of et al. - 1997
2 Technical Report STAN-CS (context) - Knuth, Larrabee et al. - 1988
Documents on the same site (http://faui8l.informatik.uni-erlangen.de/IMMD8/staff/Zinn/): More
Basic Properties of Functor Structures - Claus Zinn (Correct)
Checking Textbook Proofs - Claus Zinn (Correct)
Parsing Formulae in Textbook Proofs - Zinn (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC