Skip to content
Michael Kohlhase edited this page Apr 4, 2019 · 10 revisions

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

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

You can’t perform that action at this time.