@inproceedings{RISC2334,
author = {F. Piroi and B. Buchberger},
title = {{An Environment for Building Mathematical Knowledge Libraries}},
booktitle = {{Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR)}},
language = {english},
pages = {19--29},
address = {Cork, Ireland},
isbn_issn = {ISBN 3-902276-04-5},
year = {2004},
month = {4-8 July},
annote = {2004-07-03-A},
editor = {Wolfgang Windsteiger and Christoph Benzmueller},
refereed = {yes},
length = {11}
}