 | 2009 |
|---|
| 9 |       | Markus Rosenkranz,
Georg Regensburger,
Loredana Tec,
Bruno Buchberger:
A Symbolic Framework for Operations on Linear Boundary Problems.
CASC 2009: 269-283 |
| 8 | | Georg Regensburger,
Markus Rosenkranz,
Johannes Middeke:
A skew polynomial approach to integro-differential operators.
ISSAC 2009: 287-294 |
| 2008 |
|---|
| 7 |  | 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 |
| 6 | | Markus Rosenkranz,
Georg Regensburger:
Integro-differential polynomials and operators.
ISSAC 2008: 261-268 |
| 5 | | Markus Rosenkranz,
Georg Regensburger:
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras.
J. Symb. Comput. 43(8): 515-544 (2008) |
| 2006 |
|---|
| 4 | | Wolfgang Windsteiger,
Bruno Buchberger,
Markus Rosenkranz:
Theorema.
The Seventeen Provers of the World 2006: 96-107 |
| 3 | | 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 | | 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 | | Markus Rosenkranz:
The Algorithmization of Physics: Math Between Science and Engineering.
AISC 2004: 1-7 |
