System description: The mathweb software bus for distributed mathematical reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2392, Issue , 2002, Pages 139-143

  Zimmer, Jürgen ^a   Kohlhase, Michael ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84948958841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45620-1_11     Document Type: Conference Paper

References (10)

1. A. Armando, M. Kohlhase, and S. Ranise. Communication protocols for mathematical services based on KQML and OMRS. In Proc. of the Calculemus Symposium (2000), St. Andrews (Scotland), August 6–7, 2000.
2. S. Colton. Automated Theory Formation in Pure Mathematics. PhD thesis, Universityof Edinburgh, Edinburgh, Scotland, 2000.
3. XML Remote Procedure Call Specification. http://www.xmlrpc.com/.
4. The mozart programming system. http://www.mozart-oz.org.
5. A. Franke and M. Kohlhase. System description: MathWeb, an agentbased communication layer for distributed automated theorem proving. In H. Ganzinger, ed., Proc. CADE-16, LNAI 1632, pp. 217–221. Springer 1999.
6. H. Gottliebsen. Transcendental Functions and ContinuityChec king in PVS. In Proc. of TPHOLs’00, LNCS 1869, pp. 197–214, Springer 2000.
7. E. Melis. The ‘Interactive Textbook’ project. In D. McAllester, ed., Proc. of CADE WS “Deduction and Education;”, LNAI 1831. Springer Verlag, 2000.
8. S. Owre, J. M. Rushby, and N. Shankar. PVS: A Prototype Verification System. In D. Kapur, ed.Proc. of CADE-11, LNCS 607, pp. 748–752. Springer 1992.
9. J. Siekmann, C. Benzm¨uller et al. Proof development with Ωmega. In A. Voronkov, ed., Proc. of CADE-18, LNAI Springer 2002.
10. G. Sutcliffe, C. Suttner, and T. Yemenis. The TPTP problem library. In A. Bundy, ed., Proc. of CADE-12, LNAI 814, pp. 252–266. Springer 1994.