Markus Rosenkranz - RISC - Johannes Kepler University

Alexander Maletzky - RISC - Johannes Kepler University

Wolfgang Windsteiger - RISC - Johannes Kepler University

Calculemus RISC THEOREMA Calculemus at RISC: The THEOREMA Project Bruno Buchberger OVR (“Old Visiting Researcher”) Talk at the Calculemus Midterm Review. - ppt download

PDF) A skew polynomial approach to integro-differential operators

PDF) ISSAC 2012 software demonstrations

PDF) A Noncommutative Mikusinski Calculus

Comments on Risch's On the Integration of Elementary Functions which are Built Up Using Algebraic Operations

Members - RISC - Johannes Kepler University

Theorema: Towards computer-aided mathematical theory exploration - ScienceDirect

Johannes Kepler University Linz

Christoph Koutschan - RISC - Johannes Kepler University

Members - RISC - Johannes Kepler University

Full article: Classification of Rota-Baxter operators on semigroup algebras of order two and three

Theorema: Towards computer-aided mathematical theory exploration - ScienceDirect