System Description: MBase, an Open Mathematical Knowledge Base (2000)
Cached
Download Links
- [www.cs.cmu.edu]
- [www.ags.uni-sb.de]
- [www.ags.uni-sb.de]
- DBLP
Other Repositories/Bibliography
by
Andreas Franke
,
Michael Kohlhase
| Venue: | CADE17, LNAI 1831 |
| Citations: | 21 - 9 self |
BibTeX
@INPROCEEDINGS{Franke00systemdescription:,
author = {Andreas Franke and Michael Kohlhase},
title = {System Description: MBase, an Open Mathematical Knowledge Base},
booktitle = {CADE17, LNAI 1831},
year = {2000},
pages = {455--459},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we describe the MBase system, a web-based, distributed mathematical knowledge base. This system is a mathematical service in MathWeb that offers ...
