×

zbMATH — the first resource for mathematics

Windsteiger, Wolfgang

Compute Distance To:
Author ID: windsteiger.wolfgang Recent zbMATH articles by "Windsteiger, Wolfgang"
Published as: Windsteiger, Wolfgang
Documents Indexed: 14 Publications since 1999, including 4 Books

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 48 times in 42 Documents Cited by Year
Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang
24
2006
The TH\(\exists\)OREM\(\forall\) project: A progress report. Zbl 1017.68110
Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang
5
2001
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
4
2013
Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang
3
2016
Building up hierarchical mathematical domains using functors in \(\text{TH} \exists \text{OREM} \forall\). Zbl 0958.68158
Windsteiger, Wolfgang
2
1999
Theorema 2.0: a system for mathematical theory exploration. Zbl 1403.68229
Windsteiger, Wolfgang
2
2014
A set theory prover within Theorema. Zbl 1023.68662
Windsteiger, Wolfgang
2
2001
Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Zbl 1119.68011
Kauers, Manuel (ed.); Kerber, Manfred (ed.); Miner, Robert (ed.); Windsteiger, Wolfgang (ed.)
2
2007
An automated prover for Zermelo-Fraenkel set theory in Theorema. Zbl 1125.68108
Windsteiger, Wolfgang
2
2006
Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008
Carette, Jacques (ed.); Aspinall, David (ed.); Lange, Christoph (ed.); Sojka, Petr (ed.); Windsteiger, Wolfgang (ed.)
1
2013
Using Theorema in the formalization of theoretical economics. Zbl 1335.68231
Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang
1
2011
Theorema 2.0: computer-assisted natural-style mathematics. Zbl 1451.68319
Buchberger, Bruno; Jebelean, Tudor; Kutsia, Temur; Maletzky, Alexander; Windsteiger, Wolfgang
3
2016
Theorema 2.0: a system for mathematical theory exploration. Zbl 1403.68229
Windsteiger, Wolfgang
2
2014
A qualitative comparison of the suitability of four theorem provers for basic auction theory. Zbl 1390.68577
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
4
2013
Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Zbl 1268.68008
Carette, Jacques; Aspinall, David; Lange, Christoph; Sojka, Petr; Windsteiger, Wolfgang
1
2013
Using Theorema in the formalization of theoretical economics. Zbl 1335.68231
Kerber, Manfred; Rowat, Colin; Windsteiger, Wolfgang
1
2011
Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Zbl 1119.68011
Kauers, Manuel; Kerber, Manfred; Miner, Robert; Windsteiger, Wolfgang
2
2007
Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095
Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang
24
2006
An automated prover for Zermelo-Fraenkel set theory in Theorema. Zbl 1125.68108
Windsteiger, Wolfgang
2
2006
The TH\(\exists\)OREM\(\forall\) project: A progress report. Zbl 1017.68110
Buchberger, Bruno; Dupré, Claudio; Jebelean, Tudor; Kriftner, Franz; Nakagawa, Koji; Văsaru, Daniela; Windsteiger, Wolfgang
5
2001
A set theory prover within Theorema. Zbl 1023.68662
Windsteiger, Wolfgang
2
2001
Building up hierarchical mathematical domains using functors in \(\text{TH} \exists \text{OREM} \forall\). Zbl 0958.68158
Windsteiger, Wolfgang
2
1999

Citations by Year