scientific article; zbMATH DE number 1927424

zbMATH Open1013.68542MaRDI QIDQ4484342FDOQ4484342

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• PuzzleTool

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)