CASYS
International Journal of Computing Anticipatory Systems
Jorg Siekmann, Helmut Horacek, Michael Kohlhase, C. Benzmtiller, 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?