| |
| 2007 | ||
|---|---|---|
| 5 | Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Springer 2007 | |
| 2006 | ||
| 4 | EE | Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz: Theorema. The Seventeen Provers of the World 2006: 96-107 |
| 3 | EE | Wolfgang Windsteiger: An automated prover for Zermelo-Fraenkel set theory in Theorema. J. Symb. Comput. 41(3-4): 435-470 (2006) |
| 2001 | ||
| 2 | EE | Wolfgang Windsteiger: A Set Theory Prover Within Theorema. EUROCAST 2001: 525-539 |
| 1999 | ||
| 1 | EE | Wolfgang Windsteiger: Building up hierarchical mathematical domains using functors in Theorema. Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 1 | Bruno Buchberger | [4] |
| 2 | Manuel Kauers | [5] |
| 3 | Manfred Kerber | [5] |
| 4 | Robert Miner | [5] |
| 5 | Markus Rosenkranz | [4] |