| 2006 |
|---|
| 4 | EE | Wolfgang Windsteiger,
Bruno Buchberger,
Markus Rosenkranz:
Theorema.
The Seventeen Provers of the World 2006: 96-107 |
| 3 | EE | Bruno Buchberger,
Adrian Craciun,
Tudor Jebelean,
Laura Kovács,
Temur Kutsia,
Koji Nakagawa,
Florina Piroi,
Nikolaj Popov,
Judit Robu,
Markus Rosenkranz:
Theorema: Towards computer-aided mathematical theory exploration.
J. Applied Logic 4(4): 470-504 (2006) |
| 2005 |
|---|
| 2 | EE | Markus Rosenkranz:
A new symbolic method for solving linear two-point boundary value problems on the level of operators.
J. Symb. Comput. 39(2): 171-199 (2005) |
| 2004 |
|---|
| 1 | EE | Markus Rosenkranz:
The Algorithmization of Physics: Math Between Science and Engineering.
AISC 2004: 1-7 |
