A. Franke and M. Kohlhase, `System description: MBASE, an open mathematical knowledge base', in Proceedings of the 17th International Conference on Automated Deduction: CADE17, edited by D. McAllester, Lecture Notes in Artificial Intelligence, vol. 1831 (SpringerVerlag, 2000), pp. 455--459. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
PROSPER: An Investigation into Software Architecture for Embedded .. - Melham (Correct)
....which also provide a generic framework for the integration of tools are listed below. MATHWEB is a framework for distributed mathematical services provided by reasoning systems such as resolution theorem provers and computer algebra systems [25] A special service for storing knowledge, MBASE [26], allows theory information to be shared between other services. W ANTS combines interactive and automated theorem provers using an agent based approach [13] Its blackboard architecture and other agent oriented features provide flexible interaction between components. ILF is a framework for ....
A. Franke and M. Kohlhase, `System description: MBASE, an open mathematical knowledge base', in Proceedings of the 17th International Conference on Automated Deduction: CADE17, edited by D. McAllester, Lecture Notes in Artificial Intelligence, vol. 1831 (SpringerVerlag, 2000), pp. 455--459.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC