@techreport{RISC1256,author = {Christoph Benzmueller and Wolfgang Windsteiger},
title = {{Computer-Supported Mathematical Theory Development}},
language = {english},
number = {04-14},
year = {2004},
month = {July},
note = {ISBN 3-902276-04-5},
sponsor = {``SFB Numerical and Symbolic Scientific Computing'' (F013) at the University of Linz and the European Union ``CALCULEMUS Project'' (HPRN--CT--2000--00102).},
length = {108},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}