| 2008 |
|---|
| 6 | | Katsuhisa Horimoto,
Georg Regensburger,
Markus Rosenkranz,
Hiroshi Yoshida:
Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings
Springer 2008 |
| 5 | EE | Markus Rosenkranz,
Georg Regensburger:
Integro-differential polynomials and operators.
ISSAC 2008: 261-268 |
| 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 |
