MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge ... more

A mathematical document is called flexiformal (or a FlexiForm), if it represents the underlying knowledge and document structures at varying levels of formality; formal content enables machine support and interactivity, but requires high (initial) investment as prerequisite knowledge needs to be formalized first. Flexiformalization tries to strike a more balanced bargain between machine support and formalization costs.

MathHub.info aims to drive down the cost of flexiformalization further by providing

a central archive of flexiforms and community for sharing tools, results, and projects,

an online and offline authoring and document development infrastructure, and

The FlexiForms on MathHub.info can be accessed via Libraries in the navigation menu. For general discussions go to the "Discussions" tab. Discussions on a particular Flexiform can be initiated below the material, and localized discussions can be initiated (and used) by clicking on the knowledge item. ... documentation

The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a classical glossary and a math dictionary.