Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Karsten Homann
1990 – 1999
- 1999
[j2]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
- [c6]Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
- 1997
- [b1]Karsten Homann: Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. DISKI 152, Infix Verlag, St. Augustin, Germany 1997, ISBN 3-89601-152-9
- [j1]Jacques Calmet, Karsten Homann: Towards the Mathematics Software Bus. Theor. Comput. Sci. 187(1-2): 221-230 (1997)
- 1996
- [c5]Karsten Homann, Jacques Calmet: Structures for Symbolic Mathematical Reasoning and Computation. DISCO 1996: 216-227
- [c4]Jacques Calmet, Karsten Homann: Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. FroCoS 1996: 221-234
- 1995
- [c3]Clemens Ballarin, Karsten Homann, Jacques Calmet: Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC 1995: 150-157
- 1994
- [c2]Karsten Homann, Jacques Calmet: Combining Theorem Proving and Symbolic Mathematical Computing. AISMC 1994: 18-29
- 1992
- [c1]Jacques Calmet, Karsten Homann, Indra A. Tjandra: Unified Domains and Abstract Computational Structures. AISMC 1992: 166-177
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team