System Description: MBase, an Open Mathematical Knowledge Base

1. Benzmüller, C., Cheikhrouhou, L., Fehrer, D., Fiedler, A., Huang, X., Ker-ber, M., Kohlhase, M., Konrad, K., Melis, E., Meier, A., Schaarschmidt, W., Siek-mann, J., Sorge, V.: ΩMEGA: Towards a mathematical assistant. In: CADE 1997. LNCS (LNAI), vol. 1249, pp. 252–255. Springer, Heidelberg (1997)

   Google Scholar 

2. Caprotti, O., Cohen, A.M.: The Open Math standard. The Open Math Society (1998), http://www.nag.co.uk/projects/OpenHath/omstd/

3. Cohen, A., Cuypers, H., Sterk, H.: Algebra Interactive! Springer, Heidelberg (1999); Interactive Book on CD

   Google Scholar 

4. Duchier, D.: The NEGRA tree bank. Private communication (1998)

   Google Scholar 

5. Franke, A., Hess, S.M., Jung, C.G., Kohlhase, M., Sorge, V.: Agent-oriented integration of distributed mathematical services. Journal of Universal Computer Science 5, 156–187 (1999)

   MATH  Google Scholar 

6. Franke, A., Kohlhase, M.: System description: MATHWEB, an agent-based communication layer for distributed automated theorem proving. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol. 1632, pp. 217–221. Springer, Heidelberg (1999)

   Chapter  Google Scholar 

7. Hartmeier, M.: Aufbau einer Datenbank für mathematisclies Wissen. Master Thesis, Friedrich-Alexander-Universität Erlangen-Nurnberg (1997)

   Google Scholar 

8. Hutter, D., Sengler, C.: INKA - The Next Generation. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS (LNAI), vol. 1104, pp. 288–292. Springer, Heidelberg (1996)

   Google Scholar 

9. Hutter, D.: Reasoning about theories. Technical report, Deutsches Forscliungszentram für Künstliche Intelligenz, DFKI (1999)

   Google Scholar 

10. The isabelle online theory library. Internet interface at http://www4.informatik.tu-muenchen.de/~isabelle/library-1sabelie98-1

11. Kohlhase, M., Franke, A.: Mbase: Representing knowledge and context for the integration of mathematical software systems. Journal of Symbolic Comutation (2000) (forthcoming)

    Google Scholar 

12. Kohlhase, M.: OMDoc: Towards an OPENMATH representation of mathe¬matical documents. Seki Report SR-00-02, Fachbereich Informatik, Universität des Saarlandes (2000), http://www.mathweb.org/ilo/omdoc

13. The Pvs libraries, http://pvs.csl.sri.com/libraries.html

14. The QED manifesto (1995), Internet Report http://www.cybercom.net/~rbjones/rbjpub/logic/quedres00.htm

15. Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 324–343. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

16. Stephen DeachExtensible stylesheet language (xsl) specification. W3c working draft, W3C (1999), Available at http://www.w3.org/TR/WD-xsl

Download references