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 et V. Sorge
An Interactive Proof Development Environment + Anticipation = A Mathematical Assistant?