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

DOI10.1016/J.ENTCS.2012.06.010zbMATH Open1294.68125OpenAlexW1967780008WikidataQ113318094 ScholiaQ113318094MaRDI QIDQ5170239FDOQ5170239

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

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

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)

Cites Work

• QEPCAD B
• Partial cylindrical algebraic decomposition for quantifier elimination
• Isabelle. A generic theorem prover
• Automation for interactive proof: first prototype
• Title not available (Why is that?)
• A Framework for Interactive Proof
• Combining Isabelle and QEPCAD-B in the Prover’s Palette

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combining Isabelle and QEPCAD-B in the Prover’s Palette

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)