scientific article; zbMATH DE number 1140680

MaRDI QIDQ4385445zbMATH OpenFDO

Authors Jacques Calmet, Karsten Homann

Publication date 19 August 1998

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Towards the Mathematics Software Bus
• Communication protocols for mathematical services based on KQML and OMRS
• Easy composition of symbolic computation software: a new lingua franca for symbolic computation
• A distributed and cooperative environment for computer algebra

Cited in

(6)

• Towards the Mathematics Software Bus
• Computer algebra and artificial intelligence
• Hidden verification for computational mathematics
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
• Formal and efficient primality proofs by use of computer algebra oracles

Describes a project that uses

Uses Software

• CAS/PI
• Mathematica
• OMRS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385445)