This chapter presents a variety of applications and projects that use the
format or are related to it in a substantive way.
Apart from the projects directly reported here, the
format is used by the new research field of Mathematical Knowledge Management (
), which combines researchers in mathematics, computer science, and library science. We refer the reader to the proceedings of the annual
conference [BC01b, Asp03, ABT04, Koh05b, BF06].