@techreport{RISC2341,
author = {B. Buchberger and K. Nakagawa},
title = {{Mathematical Knowledge Editor: A Research Plan}},
language = {english},
year = {2004},
annote = {2004-08-26-A},
note = {Spezialforschungsbereich SF013 "Scientific Computing", FWF (Austrian National Science Foundation)},
howpublished = {SFB Report},
institution = {Johannes Kepler University Linz},
length = {17}
}