scientific article; zbMATH DE number 517013

MaRDI QIDQ4282537zbMATH OpenFDO

Authors

Publication date 17 April 1994

zbMATH Keywords

computer algebraHOLMapletheorem prover

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• A Skeptic's approach to combining HOL and Maple
• scientific article; zbMATH DE number 1863375
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• scientific article; zbMATH DE number 1259143
• Enabling symbolic and numerical computations in HOL Light

Cited in

(13)

• A Skeptic's approach to combining HOL and Maple
• Constructing the real numbers in HOL
• Knowledge-based proof planning
• Hidden verification for computational mathematics
• Enabling symbolic and numerical computations in HOL Light
• scientific article; zbMATH DE number 1222424 (Why is no real title available?)
• scientific article; zbMATH DE number 1254246 (Why is no real title available?)
• scientific article; zbMATH DE number 1538013 (Why is no real title available?)
• scientific article; zbMATH DE number 1863375 (Why is no real title available?)
• scientific article; zbMATH DE number 2090057 (Why is no real title available?)
• Interfacing Coq + SSReflect with GAP
• Exploring abstract algebra in constructive type theory
• On the role of OpenMath in interactive mathematical documents

Describes a project that uses

Uses Software

• Maple
• CAS/PI

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 Q4282537)