The control layer in open mechanized reasoning systems: annotations and tactics
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Automatic derivation of the irrationality of e
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
On the role of OpenMath in interactive mathematical documents
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
Hi-index | 0.00 |