Author: International Conference on Mathematical Knowledge Management (2nd 2003 Bertinoro, Italy)