RISC

JKU

RISC Publications & Reports		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports of 'Wolfgang Windsteiger'		Publications of 'Wolfgang Windsteiger'		Technical Reports of 'Wolfgang Windsteiger'

Talks of Wolfgang Windsteiger

2021

W. Windsteiger. Warum tun Algorithmen nicht, was wir wollen?. August 2021. RISC-Beitrag "Thinking AI" für Magazin Softwarepark Hagenberg "4232" - Ausgabe 2021/22. [pdf] [bib]

2014

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

2009

B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009. Springer Dordrecht Heidelberg London New York, ISBN 978-3-642-02126-8. [url] [bib]

2007

Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.). Towards Mechanized Mathematical Assistants. Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Computer Science, 4573, 2007. Springer, Heidelberg, ISSN 0302-9743. [url] [bib]

2004

Christoph Benzmüller, Wolfgang Windsteiger (ed.). Computer-Supported Mathematical Theory Development. Proceedings of Workshop on Computer-Supported Mathematical Theory Development, July 2004. University College Cork, Ireland, ISBN 3-902276-04-5. In the frame of IJCAR'04. [url] [bib]

1999

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]

1996

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]

1995

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]