Evaluating general purpose automated theorem proving systems
Artificial Intelligence
System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
The CADE-20 automated theorem proving competition
AI Communications
Proof planning with multiple strategies
Artificial Intelligence
The 3rd IJCAR Automated Theorem Proving Competition
AI Communications
A Framework for Interactive Proof
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
SRASS - A Semantic Relevance Axiom Selection System
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Semantic Evaluation Services for Web-Based Exercises
ICWL '009 Proceedings of the 8th International Conference on Advances in Web Based Learning
The heterogeneous tool set, HETS
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Reasoning support for CASL with automated theorem proving systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Hi-index | 0.00 |
In recent years, formal verification of hardware and software components has increasingly attracted interest from both academia and industry. The widespread use of automated reasoning techniques requires tools that are easy to use and support standardised protocols and data exchange formats. In [1] the first author presented the MathWeb Software Bus, a first step towards re-usable reasoning services. The MathWeb-SB had several drawbacks which limited its usability. For example, it had no service brokering capabilities and the user had to know exactly which reasoning system to use to solve a problem and how to access it.