Karsten Homann

According to our database, Karsten Homann authored at least 9 papers between 1992 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Specification and Integration of Theorem Provers and Computer Algebra Systems.

Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann

Fundam. Informaticae, 1999

1997

Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme

Karsten Homann

PhD thesis, 1997

Towards the Mathematics Software Bus.

Jacques Calmet, Karsten Homann

Theor. Comput. Sci., 1997

Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme.

Karsten Homann

DISKI 152, Infix Verlag, St. Augustin, Germany, ISBN: 3-89601-152-9, 1997

1996

Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems.

Jacques Calmet, Karsten Homann

Proceedings of the Frontiers of Combining Systems, 1996

Structures for Symbolic Mathematical Reasoning and Computation.

Karsten Homann, Jacques Calmet

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Theorems and Algorithms: An Interface between Isabelle and Maple.

Clemens Ballarin, Karsten Homann, Jacques Calmet

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

1994

Combining Theorem Proving and Symbolic Mathematical Computing.

Karsten Homann, Jacques Calmet

Proceedings of the Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1994

1992

Unified Domains and Abstract Computational Structures.

Jacques Calmet, Karsten Homann, Indra A. Tjandra

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992