Searching for authors named "Karsten Homann" – sorted by Relevance.
-
Combining Theorem Proving and Symbolic Mathematical Computing
- Mathematical Computing Karsten Homann and Jacques Calmet Universitat Karlsruhe Institut fur Algorithmen und
- Cited by 13 (1 self) – Add To MetaCart
-
Proofs in Computational Algebra: An Interface between DTP and MAGMA
- , 1996. Proofs in Computational Algebra: An Interface between DTP and MAGMA Jacques Calmet Karsten
- Add To MetaCart
-
Structures for Symbolic Mathematical Reasoning and Computation
- Mathematical Reasoning and Computation Karsten Homann and Jacques Calmet Universitat Karlsruhe Institut fur
- Cited by 12 (2 self) – Add To MetaCart
-
Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems
- OF COMMUNICATIONANDCOOPERATION MECHANISMS FOR LOGICAL AND SYMBOLIC COMPUTATION SYSTEMS JACQUES CALMET AND KARSTEN HOMANN
- Cited by 10 (4 self) – Add To MetaCart
-
An Open Environment for Doing Mathematics
- An Open Environment for Doing Mathematics Karsten Homann Jacques Calmet Universitat Karlsruhe
- Cited by 3 (0 self) – Add To MetaCart
-
Specification and Integration of Theorem Provers and Computer Algebra Systems
- Giunchiglia, Karsten Homann April 1998 Technical Report # 9804-03 c fl Istituto Trentino di Cultura, 1998
- Cited by 23 (10 self) – Add To MetaCart
-
Theorems and Algorithms: An Interface between Isabelle and Maple
- Theorems and Algorithms: An Interface between Isabelle and Maple Clemens Ballarin Karsten Homann
- Cited by 49 (10 self) – Add To MetaCart
-
A Knowledge-Based Type System for Computer Algebra
- --66, 1994. A Knowledge-Based Type System for Computer Algebra Indra A. Tjandra, Karsten Homann y
- Add To MetaCart

