System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning-Reference-Cited by-同舟云学术

System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning

Published:2002 Issue: Volume: Page:139-143
ISSN:0302-9743
Container-title:Automated Deduction—CADE-18
language:
Short-container-title:

Author:

Zimmer Jürgen,Kohlhase Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45620-1_11

Reference10 articles.

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. PhD thesis;S. Colton,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 agent-based communication layer for distributed automated theorem proving. In H. Ganzinger, ed., Proc. CADE-16, LNAI 1632, pp. 217–221. Springer 1999.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Online Computing and Knowledge Platform for Differential Equations;Mathematical Software – ICMS 2016;2016

2. A Simple GUI for Developing Applications That Use Mathematical Software Systems;Artificial Intelligence and Symbolic Computation;2014

3. The MathServe System for Semantic Web Reasoning Services;Automated Reasoning;2006

4. Constraint Solving for Proof Planning;Journal of Automated Reasoning;2004-07

5. Theorem Proving and Proof Verification in the System SAD;Lecture Notes in Computer Science;2004