W. Windsteiger. Automated Theorem Proving in the Classroom. Technical report no. 21-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2021. Extended version of keynote talk at ADG 2021 conference. [url] [pdf] [bib]
	Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger. Calculemus/MKM 2007 - Work in Progress. Technical report no. 07-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2007. [ps] [pdf] [bib]
	B. Buchberger, E.P. Klement, G. Pilz, S. Saminger, W. Windsteiger. CreaComp: e-Schulung von Kreativität und Problemlösekompetenz. Technical report no. 06-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 2006. [pdf] [bib]
	W. Windsteiger. Wie erfinde ich mathematische Algorithmen? Wie beweise ich mathematische Algorithmen?. Technical report no. 05-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 2005. Presentation slides for a presentation given at Schwerpunktfach Mathematik, Europagymnasium Auhof, December 15, 2005. [nb] [pdf] [bib]
	Wolfgang Windsteiger. Theorema: Ein Rahmen fuer Mathematik, Algorithmik und Didaktik. Technical report no. 01-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. November 2001. Course for mathematics teachers given in the frame of the ``Tag der Mathematik 2001'' at the University of Linz, November 23, 2001. In German. [ps] [tar.gz] [bib]
	Wolfgang Windsteiger. A Set Theory Prover within Theorema. Technical report no. 01-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. February 2001. Also available as SFB report 01-23. [ps] [bib]
	B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical report no. 00-38 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. August 2000. [ps] [bib]
	B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains. Technical report no. 00-39 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
	B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, W. Windsteiger. The Facilities of Theorema for Teaching Logic and Mathematics. Technical report no. 00-41 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 2000. [ps] [bib]
	Wolfgang Windsteiger. Theorema: Overview on Using the System and Details on Composing Hierarchical Knowledge Bases. Technical report no. 99-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. June 1999. Presented at the Edinburgh School in Logic and Computation. [tar.gz] [bib]
	Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger. Theorema: A Progress Report. Technical report no. 99-42 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. Also available as SFB Report 99-35, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999. [ps] [bib]
	Bruno Buchberger, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Koji Nakagawa, Daniela Vasaru, Wolfgang Windsteiger. Theorema: A Short Demo. Technical report no. 99-45 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1999. Also available as SFB Report 99-37, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999. [tar.gz] [bib]
	B. Buchberger, W. Windsteiger. The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols. SFB F013 Numerical and Symbolic Scientific Computing. Technical report no. 98-07, 1998. [pdf] [bib]
	Bruno Buchberger, Klaus Aigner, Claudio Dupre, Tudor Jebelean, Franz Kriftner, Mircea Marin, Koji Nakagawa, Ovidiu Podisor, Elena Tomuta, Yaroslav Usenko, Daniela Vasaru, Wolfgang Windsteiger. Theorema: An Integrated System for Computation and Deduction in Natural Style. Technical report no. 98-25 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. Also available as SFB Report No. 98-06. [ps] [bib]
	Windsteiger W.. GRÖBNER-IO: An Input/Output Libray for GRÖBNER. University of Linz, RISC Institute. Technical report no. ??, 1993. [bib]
	Wolfgang Windsteiger, Bruno Buchberger. GRÖBNER: A Library for Computing Gröbner Bases based on SACLIB. Technical report no. 93-72 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [ps] [bib]
	Wolfgang Windsteiger. Using GRÖBNER as a "Black Box". Technical report no. 93-71 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1993. [ps] [bib]
	Wolfgang Windsteiger. Gröbner Bases: A Characterization by Syzygy Completeness and an Implementation. Technical report no. 92-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1992. Diploma Thesis. [bib]
	Wolfgang Windsteiger. An Implementation of Rational Functions in PCL. Technical report no. 90-56 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [ps] [bib]
	Wolfgang Windsteiger. An Approach to Object-Oriented Programming in C. Technical report no. 90-57 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1990. [ps] [bib]