Searching for authors named "Karsten Homann" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
