PuzzleTool: An example of programming computation and deduction

DOI10.1007/3-540-45685-6_15MaRDI QIDQ4484342zbMATH OpenFDO

Authors Michael J. C. Gordon

Publication date 12 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100214.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Programming Combinations of Deduction and BDD-based Symbolic Calculation
• Combining assisted and automated deduction
• Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
• Automated Reasoning
• Theorem proving modulo

Cited in

(1)

• PuzzleTool

Describes a project that uses

Uses Software

• PROSPER

This page was built for publication: PuzzleTool: An example of programming computation and deduction

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