
W. Windsteiger. Mathematical Assistant Systems for Theory Exploration and Mathematics Education. March 2014. Johannes Kepler University Linz (JKU Linz), Habilitation Thesis. [pdf] [bib]


Windsteiger W.. Algorithmische Mathematik IV. 1999. Lecture notes for the mathematics course in the fourth semester at the Fachhochschule for Software Engineering in Hagenberg, Austria, in german. [url] [bib]


Windsteiger W.. GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB: New Features in Version 3.0. April 1996. Internal Project Report. [bib]


Windsteiger W.. Algorithmische Mathematik VI. 1996. Lecture notes for the mathematics course in the sixth semester at the Fachhochschule for Software Engineering in Hagenberg, Austria, in german. [url] [bib]


Windsteiger W.. Structural Analysis of Gröbner Bases Computations. July 1996. Internal Project Report. [bib]


Windsteiger W.. Cones in General Position in 3dimensional Space. August 1996. Internal Project Report. [bib]


Windsteiger W.. Algorithmische Mathematik III. 1995. Lecture notes for the mathematics course in the third semester at the Fachhochschule for Software Engineering in Hagenberg, Austria, in german. [ps] [bib]


Windsteiger W.. Floating Point Gröbner Bases: An Annotated Bibliography. October 1995. Internal Project Report. [url] [bib]
