Wolfgang Windsteiger

24 papers B 1C 2Misc 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Gray-Box Proving in Theorema.
SYNASC
Wolfgang Windsteiger
2022 C conf
Learning to Reason Assisted by Automated Reasoning.
CICM
Wolfgang Windsteiger
2021 — conf
Automated Theorem Proving in the Classroom.
ADG
Wolfgang Windsteiger
2020 B conf
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App.
ITiCSE
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020 — conf
Computational Logic in the First Semester of Computer Science: An Experience Report.
CSEDU (2)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2019 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2017 C conf
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.
CICM
Alexander Maletzky, Wolfgang Windsteiger
2017 Misc conf
Theorema 2.0: A Brief Tutorial.
SYNASC
Wolfgang Windsteiger
2016 J jnl
Theorema 2.0: Computer-Assisted Natural-Style Mathematics.
J. Formaliz. Reason.
Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger
2014 — conf
Theorema 2.0: A System for Mathematical Theory Exploration.
ICMS
Wolfgang Windsteiger
2013 J jnl
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
CoRR
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013 — conf
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
MKM/Calculemus/DML
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013 — ed.
Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
MKM/Calculemus/DML
Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
2013 — ed.
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK
CICM Workshops
Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
2012 — conf
Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System.
UITP
Wolfgang Windsteiger
2011 — conf
Using
Calculemus/MKM
Manfred Kerber, Colin Rowat, Wolfgang Windsteiger
2009 — ch.
Automated Reasoning.
Hagenberg Research
Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger
2009 — book
Hagenberg Research
Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich-Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland R. Wagner, Gerhard Weiß, Wolfgang Windsteiger
2007 — ed.
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Calculemus/MKM
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
2006 J jnl
An automated prover for Zermelo-Fraenkel set theory in
J. Symb. Comput.
Wolfgang Windsteiger
2006 — ch.
Theorema.
The Seventeen Provers of the World
Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz
2006 J jnl
Theorema: Towards computer-aided mathematical theory exploration.
J. Appl. Log.
Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger
2001 — conf
A Set Theory Prover Within Theorema.
EUROCAST
Wolfgang Windsteiger
1999 — conf
Building up hierarchical mathematical domains using functors in Theorema.
Calculemus
Wolfgang Windsteiger