Markus Rosenkranz - RISC - Johannes Kepler University

PDF) Theorema Markus Rosenkranz and Wolfgang Windsteiger

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

THEOREMA: Proving, Solving and Computing in the Theory of Hilbert Spaces [SFB F1302-3] - RISC - Johannes Kepler University

Theorema - RISC - Johannes Kepler University

A maple package for integro-differential operators and boundary problems

PDF) Towards Practical Reflection for Formal Mathematics — Extended Abstract

Johannes Kepler University Linz

PDF) Theorema Markus Rosenkranz and Wolfgang Windsteiger

Automated Reasoning Archive - RISC - Johannes Kepler University