scientific article; zbMATH DE number 1389647

MaRDI QIDQ4934140zbMATH OpenFDO

Authors P. G. Bertoli, Jacques Calmet, Karsten Homann, Fausto Giunchiglia

Publication date 18 December 2000

zbMATH Keywords

automated theorem proverscomputer algebra systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1222427
• Integrating computer algebra into proof planning
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• scientific article; zbMATH DE number 1863375
• Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette

Cited in

(13)

• Integrating computer algebra into proof planning
• Hidden verification for computational mathematics
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• scientific article; zbMATH DE number 1222427 (Why is no real title available?)
• scientific article; zbMATH DE number 1497742 (Why is no real title available?)
• Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
• Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
• A foundational view on integration problems
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• The control layer in open mechanized reasoning systems: Annotations and tactics
• On the role of OpenMath in interactive mathematical documents
• Formal and efficient primality proofs by use of computer algebra oracles
• Combined reasoning by automated cooperation

Describes a project that uses

Uses Software

• Maple
• Isabelle
• 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 Q4934140)