Author: ENUMATH 2003 (2003 Prague, Czech Republic)