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

• Pre-loaded in the MBase demo:
  • The OpenMath Content Dictionaries in OMDoc form
  • The 'logics' collection, a fine-grained hierarchy of content dictionaries for commonly used logics.
  • The OMDoc library of the OMEGA system.
  • The OMDoc library of the TPS system.
• Under Development
  • The Induction Challenge Problems at the University of Nottingham