In traditional mathematics, proofs and problem solutions are described in very informal ways. This makes derivations hard to understand afterwards and hard to check. It also makes it hard for students to learn proof and problem solving in a systematic way. The aims of the research on Computer-Supported Mathematics is to develop methods and tools for mathematical problem solving that overcome these problems and to test these methods and tools in practice.
A main aim is to develop computer support, both for carrying out formal derivations and for visualisation and browsing of derivations. An important goal is to develop material and tools that can be used in mathematics teaching at the High-School and first-year University level (in particular Computer Science students).
To see an example of what browsable derivations can look like, move onward to Jim Grundy's solutions to the Finnish High School Matriculation Exam Mathematics problems of 1995.
A major current project is the implementation of Structured Derivations (including computer support) as an educational experiment in Kupittaa High School in Turku.
There is a close link to the Mechanised Reasoning Group which, among other things, develops theorem-proving support for the same kind of mathematics.