System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving (1999)
by
Andreas Franke
,
Michael Kohlhase
| Citations: | 35 - 14 self |
BibTeX
@INPROCEEDINGS{Franke99systemdescription:,
author = {Andreas Franke and Michael Kohlhase},
title = {System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving},
booktitle = {},
year = {1999},
pages = {217--221},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Real-world applications of theorem proving require open and modern software environments that enable modularization,...
Citations
| 212 | CORBA fundamentals and programming - Siegel - 1996 |
| 93 | KQML: A Language & Protocol for Knowledge & Information Exchange - Finin, R |
| 41 | Integrating Computer Algebra Into Proof Planning - Kerber, Kohlhase, et al. - 1998 |
| 23 | Presenting machine-found proofs, in - Huang, Fiedler - 1996 |
| 12 | a Higher Order Theorem Prover - LEO |
| 7 | An implementation of distributed mathematical services - Jung, Sorge - 1998 |
| 2 | Translation of automatically generated proofs at assertion level. Technical reportforthcoming, Universitat des Saarlandes - Meier - 1999 |
| 1 | et al. TPS: A theorem proving system for classical type theory - Andrews, Bishop - 1996 |
| 1 | Integrating computer algebra into proof planning - Sorge - 1998 |
