Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette

DOI10.1016/j.entcs.2012.06.010zbMath1294.68125OpenAlexW1967780008WikidataQ113318094 ScholiaQ113318094MaRDI QIDQ5170239

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

theorem provingcomputer algebraMapleuser interfaceIsabelleEclipseQEPCAD

Mathematics Subject Classification ID

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

Uses Software

• Isabelle
• Maple
• QEPCAD
• Proof General Kit

Cites Work

• Unnamed Item
• Partial cylindrical algebraic decomposition for quantifier elimination
• Isabelle. A generic theorem prover
• Automation for interactive proof: first prototype
• QEPCAD B
• A Framework for Interactive Proof
• Combining Isabelle and QEPCAD-B in the Prover’s Palette

This page was built for publication: Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette