#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1999

2006

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

We present a new corpus of tutorial dialogs on mathematical theorem proving that was collected in a Wizard-of-Oz setup. Our study is a follow up on a previous experiment conducted in a similar simulated environment. A major difference between the current and the previous experimental setup was that in this study we varied the presentation of the… (More)

We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allows the input of complex mathematical formulae. This allows the collection of dialog corpora consisting of natural language interleaved with non-trivial mathematical expressions,… (More)

A major problem for the acceptance of mathematical proof assistance systems in mathematical practise is the shortcomings of their user interfaces. Often the interfaces are developed bottom-up starting from the mathematical proof assistance system. Therefore they usually focus on the individual system and its proof development paradigm and neglect… (More)

- Henri Lesourd
- Electr. Notes Theor. Comput. Sci.
- 1999

- ‹
- 1
- ›