Wolfgang Windsteiger. A Set Theory Prover in Theorema: Implementation and Practical Applications. RISC Institute. PhD Thesis. May 2001. [tar.gz] [bib]
Windsteiger W.. Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation. University of Linz, RISC Institute. Diploma Thesis. January 1992. [ps] [bib]

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 3-dimensional 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]