Jörg Siekmann, Helmut Horacek, Michael Kohlhase, C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, S. Hess, K. Konrad, A. Meier, E. Melis and V. Sorge
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?
