An Environment for Building Mathematical Knowledge Libraries (2004)
Cached
Download Links
by
Florina Piroi
,
Bruno Buchberger
| Venue: | Proc. of the 3rd Int. Conference on Mathematical Knowledge Management, MKM’04 |
| Citations: | 9 - 4 self |
BibTeX
@INPROCEEDINGS{Piroi04anenvironment,
author = {Florina Piroi and Bruno Buchberger},
title = {An Environment for Building Mathematical Knowledge Libraries},
booktitle = {Proc. of the 3rd Int. Conference on Mathematical Knowledge Management, MKM’04},
year = {2004},
pages = {4--8},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Proving is an activity that makes use of mathematical knowledge.
