Search the dblp DataBase

Publications of Author

1. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
   Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
   AISC, 1998, pp:94-106 [Conf]
   
2. Jacques Calmet, Karsten Homann, Indra A. Tjandra
   Unified Domains and Abstract Computational Structures. [Citation Graph (0, 0)][DBLP]
   AISMC, 1992, pp:166-177 [Conf]
   
3. Karsten Homann, Jacques Calmet
   Combining Theorem Proving and Symbolic Mathematical Computing. [Citation Graph (0, 0)][DBLP]
   AISMC, 1994, pp:18-29 [Conf]
   
4. Karsten Homann, Jacques Calmet
   Structures for Symbolic Mathematical Reasoning and Computation. [Citation Graph (0, 0)][DBLP]
   DISCO, 1996, pp:216-227 [Conf]
   
5. Jacques Calmet, Karsten Homann
   Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
   Frontiers of Combining Systems (FroCos), 1996, pp:221-234 [Conf]
   
6. Clemens Ballarin, Karsten Homann, Jacques Calmet
   Theorems and Algorithms: An Interface between Isabelle and Maple. [Citation Graph (0, 0)][DBLP]
   ISSAC, 1995, pp:150-157 [Conf]
   
7. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
   Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:39, n:1-2, pp:39-57 [Journal]
   
8. Jacques Calmet, Karsten Homann
   Towards the Mathematics Software Bus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:187, n:1-2, pp:221-230 [Journal]