Wolfgang Windsteiger

From MaRDI portal
Person:865645

Available identifiers

zbMath Open windsteiger.wolfgangMaRDI QIDQ865645

List of research outcomes





PublicationDate of PublicationType
Automated theorem proving in the classroom2024-12-17Paper
Learning to reason assisted by automated reasoning2023-06-02Paper
Theorema 2.0: Computer-Assisted Natural-Style Mathematics2019-09-18Paper
The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema2017-07-21Paper
Theorema 2.0: A System for Mathematical Theory Exploration2014-09-08Paper
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory2013-08-09Paper
Using Theorema in the Formalization of Theoretical Economics2011-07-29Paper
An automated prover for Zermelo-Fraenkel set theory in Theorema2007-10-23Paper
Algorithmische Methoden2007-09-11Paper
https://portal.mardi4nfdi.de/entity/Q34380902007-05-14Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration2007-02-20Paper
https://portal.mardi4nfdi.de/entity/Q44339842003-11-03Paper
The TH\(\exists\)OREM\(\forall\) project: A progress report2002-07-03Paper
https://portal.mardi4nfdi.de/entity/Q44991562001-03-06Paper

Research outcomes over time

This page was built for person: Wolfgang Windsteiger

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:865645&oldid=7433437"
Powered by MediaWiki