Skip to main content

Research Repository

See what's under the surface

Advanced Search

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Zimmer, Juergen; Dennis, Louise Abigail

Authors

Juergen Zimmer

Louise Abigail Dennis



Contributors

J. Calmet
Editor

B. Belaid
Editor

O. Capriotti
Editor

L. Hencoque
Editor

Volker Sorge
Editor

Abstract

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Publication Date Jan 1, 2002
Peer Reviewed Peer Reviewed
APA6 Citation Zimmer, J., & Dennis, L. A. (2002). Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus. In B. Belaid, J. Calmet, O. Capriotti, L. Hencoque, & V. Sorge (Eds.),
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information Lecture Notes in Artificial Intelligence 2385

Files

mathweblclam.ps (218 Kb)
Other

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





Downloadable Citations

;