Abstract

In any well-written mathematical discourse a certain amount of mathematical and meta-mathematical 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 high-level strategic discourse understanding and allows to compute the presupposed and implied information.

Citations