Wolfgang Windsteiger

Available identifiers

zbMath Open windsteiger.wolfgangMaRDI QIDQ865645

List of research outcomes

Publication	Date of Publication	Type
Learning to reason assisted by automated reasoning	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	2014-09-08	Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory	2013-08-09	Paper
Using Theorema in the Formalization of Theoretical Economics	2011-07-29	Paper
An automated prover for Zermelo-Fraenkel set theory in Theorema	2007-10-23	Paper
Algorithmische Methoden	2007-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q3438090	2007-05-14	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration	2007-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4433984	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2751543	2002-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4499156	2001-03-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wolfgang Windsteiger