Results 1 
2 of
2
Understanding Mathematical Discourse
 Dialogue. Amsterdam University
, 1999
"... Discourse Understanding is hard. This seems to be especially true for mathematical discourse, that is proofs. Restricting discourse to mathematical discourse allow us, however, to study the subject matter in its purest form. This domain of discourse is rich and welldefined, highly structured, offers ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
Discourse Understanding is hard. This seems to be especially true for mathematical discourse, that is proofs. Restricting discourse to mathematical discourse allow us, however, to study the subject matter in its purest form. This domain of discourse is rich and welldefined, highly structured, offers a welldefined set of discourse relations and forces/allows us to apply mathematical reasoning. We give a brief discussion on selected linguistic phenomena of mathematical discourse, and an analysis from the mathematician’s point of view. Requirements for a theory of discourse representation are given, followed by a discussion of proofs plans that provide necessary context and structure. A large part of semantics construction is defined in terms of proof plan recognition and instantiation by matching and attaching. 1
Computing Presuppositions and Implicatures in Mathematical Discourse
"... In any wellwritten mathematical discourse a certain amount of mathematical and metamathematical knowledge is presupposed and implied. We give an account on presuppositions and implicatures in mathematical discourse and describe an architecture that allows to e ectively interpret them. Our approach ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In any wellwritten mathematical discourse a certain amount of mathematical and metamathematical knowledge is presupposed and implied. We give an account on presuppositions and implicatures in mathematical discourse and describe an architecture that allows to e ectively interpret them. Our approach heavily relies on proof methods that capture common patterns of argumentation in mathematical discourse. This pragmatic information provides a highlevel strategic discourse understanding and allows to compute the presupposed and implied information.