scientific article; zbMATH DE number 1927424

MaRDI QIDQ4484342zbMATHFDO

Authors Michael J. C. Gordon

Publication date 12 June 2003

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:

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