Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette

DOI10.1016/J.ENTCS.2012.06.010MaRDI QIDQ5170239zbMATHOpenAlexWikidataFDO

Authors Laura I. Meikle, Jacques D. Fleuriot

Publication date 22 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.06.010

zbMATH Keywords

computer algebratheorem provinguser interfaceIsabelleMapleEclipseQEPCAD

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Combining Isabelle and QEPCAD-B in the Prover’s Palette
• scientific article; zbMATH DE number 1863375
• scientific article; zbMATH DE number 1222427
• Publication:4934140
• scientific article; zbMATH DE number 1552511

Cites work

• scientific article; zbMATH DE number 1678401 (Why is no real title available?)
• A Framework for Interactive Proof
• Automation for interactive proof: first prototype
• Combining Isabelle and QEPCAD-B in the Prover’s Palette
• Isabelle. A generic theorem prover
• Partial cylindrical algebraic decomposition for quantifier elimination
• QEPCAD B

Cited in

(4)

• scientific article; zbMATH DE number 1389647 (Why is no real title available?)
• Combining Isabelle and QEPCAD-B in the Prover’s Palette
• scientific article; zbMATH DE number 1927424 (Why is no real title available?)
• scientific article; zbMATH DE number 1863375 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle
• Maple
• QEPCAD
• Proof General Kit

This page was built for publication: Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette

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