The control layer in open mechanized reasoning systems: annotations and tactics
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
Journal of Automated Reasoning
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
On Communicating Proofs in Interactive Mathematical Documents
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
A Rational Reconstruction of a System for Experimental Mathematics
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Hi-index | 0.00 |