# Algorithmic Problem Solving

Research Group, University of Nottingham

The algorithmic problem solving group conducts research into mathematical method, in particular the problem-solving skills involved in the formulation and solution of algorithmic problems. Our goal is to articulate these skills primarily by way of concrete examples, but also by the development of appropriate mathematical theory.

## Mathematics of Program Construction 2008

Written by Joao Ferreira.