Karsten Homann (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

8 Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106

6 Jacques Calmet, Karsten Homann: Towards the Mathematics Software Bus. Theor. Comput. Sci. 187(1-2): 221-230 (1997)

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

3 Clemens Ballarin, Karsten Homann, Jacques Calmet: Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC 1995: 150-157

2 Karsten Homann, Jacques Calmet: Combining Theorem Proving and Symbolic Mathematical Computing. AISMC 1994: 18-29

1 Jacques Calmet, Karsten Homann, Indra A. Tjandra: Unified Domains and Abstract Computational Structures. AISMC 1992: 166-177

Selection of 8 from 9 records - Karsten Homann has 5 coauthors

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)
8		Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
6		Jacques Calmet, Karsten Homann: Towards the Mathematics Software Bus. Theor. Comput. Sci. 187(1-2): 221-230 (1997)
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
3		Clemens Ballarin, Karsten Homann, Jacques Calmet: Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC 1995: 150-157
2		Karsten Homann, Jacques Calmet: Combining Theorem Proving and Symbolic Mathematical Computing. AISMC 1994: 18-29
1		Jacques Calmet, Karsten Homann, Indra A. Tjandra: Unified Domains and Abstract Computational Structures. AISMC 1992: 166-177