 | 1999 |
|---|
| 9 |       | Piergiorgio Bertoli,
Jacques Calmet,
Fausto Giunchiglia,
Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
Fundam. Inform. 39(1-2): 39-57 (1999) |
| 1998 |
|---|
| 8 |  | Piergiorgio Bertoli,
Jacques Calmet,
Fausto Giunchiglia,
Karsten Homann:
Specification and Integration of Theorem Provers and Computer Algebra Systems.
AISC 1998: 94-106 |
| 1997 |
|---|
| 7 | | Karsten Homann:
Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme.
Infix Verlag, St. Augustin, Germany 1997 |
| 6 | | Jacques Calmet,
Karsten Homann:
Towards the Mathematics Software Bus.
Theor. Comput. Sci. 187(1-2): 221-230 (1997) |
| 1996 |
|---|
| 5 | | Karsten Homann,
Jacques Calmet:
Structures for Symbolic Mathematical Reasoning and Computation.
DISCO 1996: 216-227 |
| 4 | | Jacques Calmet,
Karsten Homann:
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems.
Frontiers of Combining Systems (FroCos) 1996: 221-234 |
| 1995 |
|---|
| 3 | | Clemens Ballarin,
Karsten Homann,
Jacques Calmet:
Theorems and Algorithms: An Interface between Isabelle and Maple.
ISSAC 1995: 150-157 |
| 1994 |
|---|
| 2 | | Karsten Homann,
Jacques Calmet:
Combining Theorem Proving and Symbolic Mathematical Computing.
AISMC 1994: 18-29 |
| 1992 |
|---|
| 1 | | Jacques Calmet,
Karsten Homann,
Indra A. Tjandra:
Unified Domains and Abstract Computational Structures.
AISMC 1992: 166-177 |
