Markus Rosenkranz - 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

Johannes Kepler University Linz

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

PDF) Theorema Markus Rosenkranz and Wolfgang Windsteiger

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

PDF) Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates

PDF) Theorema.

General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials: ACM Communications in Computer Algebra: Vol 42, No 3

PDF) Transforming problems from analysis to algebra: A case study in linear boundary problems

Wolfgang WINDSTEIGER, Associate Professor, Dipl.-Ing. Dr., Johannes Kepler University Linz, Linz, JKU, Institute of Symbolic Computation

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