Certified and Portable Mathematical Documents from Formal Contexts

MKM'2001: Mathematical Knowledge Management, RISC, A-4232 Schloss Hagenberg, September 24-26, 2001