Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wolfgang Windsteiger
2010 – today
- 2013
[i1]Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger: A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. CoRR abs/1303.4193 (2013)- 2011
- [c3]Manfred Kerber, Colin Rowat, Wolfgang Windsteiger: Using Theorema in the Formalization of Theoretical Economics. Calculemus/MKM 2011: 58-73
2000 – 2009
- 2007
- [e1]Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (Eds.): Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4573, Springer 2007, ISBN 978-3-540-73083-5
- 2006
- [j2]Wolfgang Windsteiger: An automated prover for Zermelo-Fraenkel set theory in Theorema. J. Symb. Comput. 41(3-4): 435-470 (2006)
- [c2]Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz: Theorema. The Seventeen Provers of the World 2006: 96-107
- 2001
- [c1]
1990 – 1999
- 1999
- [j1]Wolfgang Windsteiger: Building up hierarchical mathematical domains using functors in Theorema. Electr. Notes Theor. Comput. Sci. 23(3): 401-419 (1999)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-09 21:30 CEST by the dblp team