Wolfgang Windsteiger

According to our database, Wolfgang Windsteiger authored at least 18 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Gray-Box Proving in Theorema.

Wolfgang Windsteiger

Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2024

2022

Learning to Reason Assisted by Automated Reasoning.

Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Automated Theorem Proving in the Classroom.

Wolfgang Windsteiger

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App.

David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

Computational Logic in the First Semester of Computer Science: An Experience Report.

David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere

Proceedings of the 12th International Conference on Computer Supported Education, 2020

2017

Theorema 2.0: A Brief Tutorial.

Wolfgang Windsteiger

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.

Alexander Maletzky, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016

Theorema 2.0: Computer-Assisted Natural-Style Mathematics.

Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger

J. Formaliz. Reason., 2016

2014

Theorema 2.0: A System for Mathematical Theory Exploration.

Wolfgang Windsteiger

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics, 2013

2012

Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System.

Wolfgang Windsteiger

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

2011

Using <i>Theorema</i> in the Formalization of Theoretical Economics.

Manfred Kerber, Colin Rowat, Wolfgang Windsteiger

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2009

Automated Reasoning.

Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger

Proceedings of the Hagenberg Research, 2009

2006

An automated prover for Zermelo-Fraenkel set theory in <i>Theorema</i>.

Wolfgang Windsteiger

J. Symb. Comput., 2006

Theorema: Towards computer-aided mathematical theory exploration.

Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger

J. Appl. Log., 2006

Theorema.

Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

2001

A Set Theory Prover Within Theorema.

Wolfgang Windsteiger

Proceedings of the Computer Aided Systems Theory, 2001

1999

Building up hierarchical mathematical domains using functors in Theorema.

Wolfgang Windsteiger

Proceedings of the Systems for Integrated Computation and Deduction, 1999