A special issue of Annals of Mathematics and Artificial Intelligence based on presentations made at the first conference on Mathematical Knowledge Management at RISC-Linz in 2001.