Karsten Homann Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
1997
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Homann: Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. Infix Verlag, St. Augustin, Germany 1997
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Calmet, Karsten Homann: Towards the Mathematics Software Bus. Theor. Comput. Sci. 187(1-2): 221-230 (1997)
1996
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Homann, Jacques Calmet: Structures for Symbolic Mathematical Reasoning and Computation. DISCO 1996: 216-227
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Calmet, Karsten Homann: Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. Frontiers of Combining Systems (FroCos) 1996: 221-234
1995
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClemens Ballarin, Karsten Homann, Jacques Calmet: Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC 1995: 150-157
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Homann, Jacques Calmet: Combining Theorem Proving and Symbolic Mathematical Computing. AISMC 1994: 18-29
1992
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Calmet, Karsten Homann, Indra A. Tjandra: Unified Domains and Abstract Computational Structures. AISMC 1992: 166-177

Coauthor Index

1Clemens Ballarin [3]
2Piergiorgio Bertoli [8] [9]
3Jacques Calmet [1] [2] [3] [4] [5] [6] [8] [9]
4Fausto Giunchiglia [8] [9]
5Indra A. Tjandra [1]

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)