Wolfgang Windsteiger

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated theorem proving in the classroom	2024-12-17	Paper
Learning to reason assisted by automated reasoning Lecture Notes in Computer Science	2023-06-02	Paper
Theorema 2.0: computer-assisted natural-style mathematics	2019-09-18	Paper
The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema	2017-07-21	Paper
Theorema 2.0: A System for Mathematical Theory Exploration Mathematical Software – ICMS 2014	2014-09-08	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory Lecture Notes in Computer Science	2013-08-09	Paper
Using Theorema in the Formalization of Theoretical Economics Lecture Notes in Computer Science	2011-07-29	Paper
An automated prover for Zermelo-Fraenkel set theory in Theorema Journal of Symbolic Computation	2007-10-23	Paper
Algorithmische Methoden	2007-09-11	Paper
Algorithmic methods. Numbers, vectors, polynomials	2007-05-14	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration Journal of Applied Logic	2007-02-20	Paper
scientific article; zbMATH DE number 2000437 (Why is no real title available?)	2003-11-03	Paper
The TH\(\exists\)OREM\(\forall\) project: A progress report	2002-07-03	Paper
scientific article; zbMATH DE number 1497746 (Why is no real title available?)	2001-03-06	Paper

Research outcomes over time

This page was built for person: Wolfgang Windsteiger