QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
A Framework for Interactive Proof
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Mechanical theorem proving in computational geometry
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Hi-index | 0.00 |
We present Prover's Palette, a general framework for formal verification using multiple tools, centred around the user. We illustrate the framework by describing a concrete integration of the theorem prover Isabelle with the computer algebra system QEPCAD-B.