Agent-Oriented Integration of Distributed Mathematical Services (1999)

Cached

Download Links

by Andreas Franke , Stephan M. Hess , Christoph G. Jung , Michael Kohlhase , Volker Sorge
Venue:Journal of Universal Computer Science
Citations:19 - 10 self

Documents Related by Co-Citation

36 System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving – Andreas Franke, Michael Kohlhase - 1999
41 Integrating computer algebra into proof planning – Manfred Kerber, Michael Kohlhase, Volker Sorge - 1998
21 Algebra Interactive – A M Cohen, H Cuypers, H Sterk - 1999
41 MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems – Michael Kohlhase, Andreas Franke - 2000
37 Towards an Evolutionary Formal Software Development – Dieter Hutter, Axel Schairer - 1999
26 mega: Towards a mathematical assistant – Christoph Benzmuller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jorg Siekmann, Volker Sorge - 1997
23 Presenting Machine-Found Proofs – Xiaorong Huang, Armin Fiedler - 1996
47 A Survey on the Theorema Project – Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru, A Schlo Hagenberg - 1997
39 The PROSPER Toolkit – Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, Tom Melham - 2000
14 Towards interoperable mechanized reasoning systems: the logic broker architecture – Alessandro Armando - 2000
18 OMDoc: Towards an OpenMath representation of mathematical documents. Seki Report SR-00-02, Fachbereich Informatik, Universit├Ąt des Saarlandes, 2000. See also http: //www.mathweb.org/omdoc. [7] Paul Libbrecht and Dominik Jednoralski. Drag and drop of formu – M Kohlhase
97 KQML A Language and Protocol for Knowledge and Information Exchange – Tim Finin, Rich Fritzson, Don McKay, Robin McEntire - 1994
28 An interface between clam and HOL – BSBG98 R Boulton, K Slind, A Bundy, M Gordon - 1997
129 Solution of the Robbins Problem – William Mccune - 1997
3 Creating omdoc representations from L ATEX. Internet Draft available at http://www. mathweb.org/ilo/omdoc/latex2omdoc.ps – Michael Kohlhase - 2000
21 System Description: MBase, an Open Mathematical Knowledge Base – Andreas Franke, Michael Kohlhase - 2000
11 Cooperating theorem provers – J Denzinger, I Dahn - 1998
23 A.: Integration of automated and interactive theorem proving in ILF – B Dahn, J Gehne, T Honigmann, Wolf - 1997
12 Using a Cognitive Architecture to Plan Dialogs for the Adaptive Explanation of Proofs – Armin Fiedler - 1999