OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge.

Michael Kohlhase

Browse the full AISC paper archive.