Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger. Theorema 2.0: Computer-Assisted Natural-Style Mathematics. JFR 9(1), pp. 149-185. 2016. ISSN 1972-5787. [url] [bib]
W. Windsteiger. Theorema 2.0: A System for Mathematical Theory Exploration. In: Proceedings International Congress on Mathematical Software (ICMS'2014), Seoul, Korea, August 5-8, 2014, Chee Yap and Hoon Hong (ed.), Proceedings of International Congress on Mathematical Software (ICMS'2014), Lecture Notes in Computer Science (LNCS) 8592, pp. 49-52. 2014. ISBN 978-3-662-44198-5. [url] [pdf] [bib]
Manfred Kerber, Christoph Lange, Colin Rowat and Wolfgang Windsteiger. Developing an Auction Theory Toolbox. In: AISB 2013, Manfred Kerber, Christoph Lange, Colin Rowat (ed.), pp. 1-4. 2013. no ISSN. proceedings available online. [url] [pdf] [bib]
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. In: Conference on Intelligent Computer Mathematics (CICM 2013), Jacques Carette (ed.), Lecture Notes in Artificial Intelligence (LNAI) 7961, pp. 200-215. 2013. Springer, ISBN 978-3-642-39319-8. [pdf] [bib]
W. Windsteiger. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. In: Proceedings 10th International Workshop On User Interfaces for Theorem Provers, Bremen, Germany, July 11th 2012, Cezary Kaliszyk and Christoph Lueth (ed.), Proceedings of UITP 2012, Electronic Proceedings in Theoretical Computer Science 118, pp. 72-82. 2012. Open Publishing Association, ISSN 2075-2180. doi 10.4204/EPTCS.118.5. [url] [pdf] [bib]
W. Windsteiger. Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System. In: 24th OpenMath Workshop, 7th Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress, James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht (ed.), CEUR Workshop Proceedings 921, pp. 73-81. 2012. Aachen, 1613-0073. [url] [pdf] [bib]
Manfred Kerber, Colin Rowat, and Wolfgang Windsteiger. Using Theorema in the Formalization of Theoretical Economics. In: Intelligent Computer Mathematics, James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban (ed.), Proceedings of CICM 2011, Lecture Notes in Artificial Intelligence (LNAI) 6824, pp. 58-73. 2011. Springer, ISSN 0302-9743. [url] [pdf] [bib]
W. Windsteiger. Stimulating Students' Creativity Through Computer-Supported Experiments and Automated Theorem Proving. In: Promoting Creativity for all Students in Mathematics Education, Emiliya Velikova, Agnis Andzans (ed.), pp. 351-357. 2008. 8 Studentska Str., 7017 Rousse, Bulgaria, University of Rousse, Bulgaria, ISBN 978-954-712-420-2. Proceedings of Discussion Group 9, the 11th International Congress on Mathematical Education (ICME 11). [pdf] [bib]
G. Mayrhofer, S. Saminger, W. Windsteiger. CreaComp: Computer-Supported Experiments and Automated Proving in Learning and Teaching Mathematics. In: Proceedings of ICTMT8, Eva Milkova (ed.), pp. ?-?. 2007. ISBN 978-80-7041-285-5. [pdf] [bib]
G. Mayrhofer, S. Saminger, W. Windsteiger. CreaComp: Experimental Formal Mathematics for the Classroom. In: Symbolic Computation and Education, Shangzhi Li, Dongming Wang, and Jing-Zhong Zhang (ed.), pp. 94-114. 2007. World Scientific Publishing Co., Singapore, New Jersey, ISBN 978-981-277-599-3. [url] [pdf] [bib]
W. Windsteiger. An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema. JSC 41(3-4), pp. 435-470. 2006. Elsevier, ISSN 0747-7171. [url] [pdf] [bib]
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic 4(4), pp. 470-504. 2006. ISSN 1570-8683. [url] [pdf] [bib]
W. Windsteiger, B. Buchberger, M. Rosenkranz. Theorema. In: The Seventeen Provers of the World, Freek Wiedijk (ed.), Lecture Notes in Artificial Intelligence (LNAI) 3600, pp. 96-107. 2006. Springer Berlin Heidelberg New York, ISBN 3-540-30704-4. [url] [pdf] [bib]
E. M. Clarke, A. S. Gavlovski, K. Sutner, W. Windsteiger. Analytica V: Towards the Mordell-Weil Theorem. In: Proceedings of Calculemus'06, A. Bigatti, S. Ranise (ed.), Proceedings of Calculemus'06, pp. ?-?. 2006. [pdf] [bib]
W. Windsteiger. Mathematica. In: Computer Algebra Handbook: Foundations, Applications, Systems, J. Grabmeier, E. Kaltofen, and V. Weispfenning (ed.), pp. 314-320. 2003. Springer, ISBN 3-540-65466-6. [bib]
W. Windsteiger. Exploring an Algorithm for Polynomial Interpolation in the Theorema System. In: Proceedings of the Calculemus 2003 Symposium, T. Hardin and R. Rioboo (ed.), pp. 130-136. September 2003. Aracne Editrice S.R.L., Rome Italy, ISBN 88-7999-545-6. [pdf] [bib]
W. Windsteiger. An Automated Prover for Set Theory in Theorema. In: Calculemus 2002, 10th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning: Work in Progress Papers, O. Caprotti, V. Sorge (ed.), pp. 56-67. June 2002. Marseille, France, ISSN 14274447. Appears in Seki-Report Series Nr. SR-02-04, Universitaet des Saarlandes. [ps] [bib]
W. Windsteiger. An Automated Prover for Zermelo-Fraenkel Set Theory in Theorema. In: Logic, Mathematics and Computer Science: Interactions (LMCS 2002), K. Nakagawa (ed.), pp. 266-280. October 2002. RISC, Schloss Hagenberg, Austria, ISBN 3-902276-03-7. Symposium in Honor of Bruno Buchberger's 60th Birthday, Appears in RISC-report Series Nr. 02-60. [pdf] [bib]
W. Windsteiger. A Set Theory Prover in Theorema. In: Computer Aided Systems Theory, R. Moreno-Diaz and B. Buchberger and J.L. Freire (ed.), LNCS 2178, pp. 525-539. 2001. Springer, ISSN 0302-9743, ISBN 3-540-429. Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), extended version available as RISC report 01-07. [bib]
W. Windsteiger. On a Solution of the Mutilated Checkerboard Problem using the Theorema Set Theory Prover. In: Proceedings of the Calculemus 2001 Symposium, S. Linton and R. Sebastiani (ed.), pp. 28-47. 2001. [pdf] [bib]
B. Buchberger, C. Dupre, T. Jebelean, F. Kriftner, K. Nakagawa, D. Vasaru, W. Windsteiger. The Theorema Project: A Progress Report. In: Symbolic Computation and Automated Reasoning (Proceedings of CALCULEMUS 2000, Symposium on the Integration of Symbolic Computation and Mechanized Reasoning), M. Kerber, M. Kohlhase (ed.), pp. 98-113. 6-7 August 2000. Copyright: A.K. Peters, Natick, Massachusetts, St. Andrews, Scotland, ISBN 1-56881-145-4. [ps] [pdf] [abstract] [bib]
Windsteiger W.. Building Up Hierarchical Mathematical Domains Using Functors in THEOREMA. In: Electronic Notes in Theoretical Computer Science, A. Armando and T. Jebelean (ed.), Proceedings of Calculemus'99, Trento, Italy, ENTCS 23/3, pp. 401-419. 1999. Elsevier, ISSN: 1571-0661. [url] [pdf] [bib]