Markus Rosenkranz - RISC - Johannes Kepler University

Theorema: Towards computer-aided mathematical theory exploration - ScienceDirect

Alexander MALETZKY, Researcher and Developer, RISC Software GmbH, Linz, RISC, Department of Medical Informatics

Bruno BUCHBERGER, professor emeritus, founding chairman, senior research fellow, Professor Dr., Johannes Kepler University Linz, Linz, JKU, Research Institute of Symbolic Computation (RISC)

Theorema: Towards computer-aided mathematical theory exploration - ScienceDirect

Johannes Kepler University Linz

Members - RISC - Johannes Kepler University

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

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

Temur KUTSIA, Johannes Kepler University Linz, Linz, JKU, Institute of Symbolic Computation

PDF) A Noncommutative Mikusinski Calculus