MBase Content

Prospective MBase Content

There are several groups that are working on preparing content for MBase: formalized mathematics in OMDoc form or that can be converted to OMDoc. Here is a preliminary list

© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package