Meta-Data in MathHub
@mkohlhase @twiesing
MathHub is a huge library of mathematical libraries.
The underlying content format OMDoc supports metadata, which are currently not used in MathHub for display, cross-referencing, etc. The infrastructure currently also does not generate good cumulative statistics about the data that is valuable for display and other user interactions.
This topic will design how such metadata should be efficiently computed and stored and how it can be used to enhance the user experience.