Towards the Mathematics Software Bus

DOI10.1016/S0304-3975(97)00066-2zbMath0893.68036OpenAlexW2032662922MaRDI QIDQ1389634

Karsten Homann, Jacques Calmet

Publication date: 30 June 1998

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00066-2

zbMATH Keywords

mathematics software bussoftware environmentssymbolic mathematical computing

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Formal and efficient primality proofs by use of computer algebra oracles, Computer algebra and artificial intelligence, MBase: Representing knowledge and context for the integration of mathematical software systems, Mediated Access to Symbolic Computation Systems

Uses Software

• Isabelle
• CAS/PI
• OMRS

Cites Work

• Isabelle. A generic theorem prover
• Frontiers of combining systems. First international workshop, Munich, Germany, March 26--29, 1996
• Exploring abstract algebra in constructive type theory
• Combining symbolic computation and theorem proving: Some problems of Ramanujan
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item