=ADD=
=reftype=
14
=number=
94-30
=url=
ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1994/94-30.ps.gz
=sponsor=
Austrian Ministry for Science, CEI-PACT project; Austrian National Science Foundation (FWF), project no. S5302
=year=
1994
=author=
Hong; Hoon + Neubacher; Andreas + Stahl; Volker
=title=
The STURM Library Manual -- A C++ library for symbolic computation
=howpublished=
Deliverable D2H-1 of the CEI-PACT project.
=location=
2
=owner=
2
=source=
3