@proceedings{RISC2234,author = {A. Asperti and B. Buchberger and J. H. Davenport},
title = {{Mathematical Knowledge Management}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {2594},
publisher = {Springer - Verlag Berlin - Heidelberg - New York},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-005},
year = {2003},
annote = {2003-02-16-A},
editor = {A. Asperti and B. Buchberger and J. H. Davenport},
length = {223},
conferencename = {Second International Conference on Mathematical Knowledge Management (MKM 2003), Bertinoro, Italy}
}