1. Bertoli, P.G., Calmet, J., Giunchiglia, F., Homann, K.: Specification and integration of theorem provers and computer algebra systems. Fundamenta Informaticae 39(1-2), 39–57 (1999)
2. Lecture Notes in Computer Science;J. Calmet,1996
3. Calmet, J., Lefevre, V.: Toward the Integration of Numerical Computations into the OMSCS Framework. In: Proceedings of the 7th International Workshop on Computer Algebra in Scientific Computing, Saint Petersbourg, Russia, pp. 71–79 (2004)
4. Calmet, J., Maret, P., Endsuleit, R.: Agent-Oriented Abstraction, Revista Real Academia de Ciencias (Madrid). Special Volume on Symbolic Computing and Artificial Intelligence 98(1), 77–83 (2004)
5. Calmet, J., Ollivier, F. (Guest eds.): Jacobi’s Legacy. AAECC Special issue 20(1) (April 2009)