Author: International Conference on Mathematical Knowledge Management (3rd 2004 Białowieża, Poland)