Tutorial Dialogs on Mathematical Proofs (bibtex)
by Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska
Reference:
Tutorial Dialogs on Mathematical Proofs (Christoph Benzmüller, Armin Fiedler, Malte Gabsdil, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, Dimitra Tsovaltzi, Bao Quoc Vo, Magdalena Wolska), In Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12-22, 2003. (slides) (Preprint: http://christoph-benzmueller.de/papers/W20.pdf)
Bibtex Entry:
@inproceedings{W20,
  Address =	 {Acapulco, Mexico},
  Author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Malte
                  Gabsdil and Helmut Horacek and Ivana
                  Kruijff-Korbayova and Manfred Pinkal and J{\"o}rg
                  Siekmann and Dimitra Tsovaltzi and Bao Quoc Vo and
                  Magdalena Wolska},
  Booktitle =	 {Proceedings of IJCAI-03 Workshop on Knowledge
                  Representation and Automated Reasoning for
                  E-Learning Systems},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2003-ijcai-ws-dialog-talk.pdf">slides</a>},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Tutoring Systems},
  Pages =	 {12-22},
  Title =	 {Tutorial Dialogs on Mathematical Proofs},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/W20.pdf}},
  Year =	 2003,
}