Karsten Homann

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Informaticae 39 (1-2) (1999)
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC (1998)
Jacques Calmet, Karsten Homann
Towards the Mathematics Software Bus. Theor. Comput. Sci. 187 (1-2) (1997)
Jacques Calmet, Karsten Homann
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. FroCoS (1996)
Karsten Homann, Jacques Calmet
Structures for Symbolic Mathematical Reasoning and Computation. DISCO (1996)
Clemens Ballarin, Karsten Homann, Jacques Calmet
Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC (1995)
Karsten Homann, Jacques Calmet
Combining Theorem Proving and Symbolic Mathematical Computing. AISMC (1994)
Jacques Calmet, Karsten Homann, Indra A. Tjandra
Unified Domains and Abstract Computational Structures. AISMC (1992)