Research Problems Related to Theorema

Tudor Jebelean and the Theorema Group

RISC-Linz, Austria

The Theorema system is developed at RISC-Linz by the Theorema group, under the leadership of Bruno Buchberger. This document is companion to the abstract of the tutorial Exploring Computer Mathematics with Theorema.

Throughout the tutorial, we will give particular emphasis to refining and explaining the research problems described above.