#### Filter Results:

#### Publication Year

1996

2007

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

In order to generate high quality explanations in mathematical domains, the presentation must be adapted to the knowledge of the intended audience. Most proof presentation systems only communicate proofs on a fixed degree of abstraction independently of the addressee's knowledge. In this paper , we shall present the proof explanation system P.rex. Based on… (More)

This paper describes the linguistic part of a system called PROVERB, which transforms, abstracts, and verbalizes machine-found proofs into formated texts. Linguistically, the architecture of PROVERB follows most application oriented systems, and is a pipe-lined control of three components. Its macroplanner linearizes a proof and plans mediating… (More)

Our goal is to develop a flexible dialog system for tutoring mathematical problem solving. Empirical findings in the area of intelligent tutoring show that flexible natural language dialog supports active learning. Therefore, we focus on the development of solutions allowing flexible dialog. However, little is known about the use of natural language in… (More)

We propose a proof representation format for human-oriented proofs at the assertion level with under-specification. This work aims at providing a possible solution to challenging phenomena worked out in empirical studies in the DIALOG project at Saarland University. A particular challenge in this project is to bridge the gap between the human-oriented proof… (More)

We argue in this paper that sophisticated mi-croplanning techniques are required even for mathematical proofs, in contrast to the belief that mathematical texts are only schematic and mechanical. We demonstrate why paraphrasing and aggregation significantly enhance the flexibility and the coherence of the text produced. To this end, we adopted the Text… (More)