About MathHub.info

MathHub.info is a portal for flexiformal mathematics. It offers a rich interface for reading, writing, managing, and interacting with mathematical documents, data and knowledge … more

A representation is called flexiformal (or a FlexiForm), if it represents then underlying data, 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

• versioned hosting of mathematical data, knowledge, and documents,
• a community for sharing tools, results, and projects,
• an online and offline authoring and document development infrastructure, and
• GIT repositories (public and private escrow) for mathematical documentation projects

The FlexiForms on MathHub.info can be accessed via Libraries in the navigation menu.