An Ontology  for Mathematics International

Version: 31-Jul-98

Harold Boley, Markus Perling
Supported by Kaiping Zeng, Asitha Kodippili