- List of codecs. For more information, see the section on Datatypes and Codecs below.
- You can help with the survey of math datasets!
- Abstract polytopes and maniplexes (Gabe, Katja)
- Symmetric graphs (Katja, Gabe)
- Lattices (Jukka)
- Small Groups Library export (Michael T., Katja)
- Prioritize (make list in order of importance) properties of datasets for the other dataset tasks.
- Write schema theories
- Formalize relevant math
- Import into
- Provenance
Initial assignments:
- 1: Gabe, Jukka, Katja
- 2 and 3: Gabe, Jukka, Katja, Michael T. with Dennis
- 4: Gabe, Jukka, Katja, Michael T. with Tom
- Connect the small groups with Group Names and the Group Explorer.
- How to deal with the above in general way, (so that the below can also be handled) so that we can add such things without too much work - Florian?
- How to deal with p-adic
- Come up with a good name for the fourth kind of mathematical data (previously known as concrete/relational/...)
- Think about recording provenance
- Think about a journal of math datasets
Our MDDL (math data description language) defines two kinds of objects:
- datatypes specify types using their mathematical properties, such as ** basic types: integers, rationals, booleans, etc. ** collection types: vectors, matrices, finite sets, multisets, etc. ** higher mathematical types: polynomials, rings, etc.
- codecs specify translations (and back) from datatypes to primitive types supported by databases, such as ** integers as strings, integers as lists of base 2^64 digits, etc. ** sparse vector codec (i.e., vectors as sparse lists), taking a codec for the entries as an argument
The datatypes are formally specified and the codecs are named and documented in the file https://gl.mathhub.info/ODK/discretezoo/blob/master/source/MDDL.mmt
This file serves as the reference for our implementations. It will probably be extended substantially during the course of the workshop.
- Choosing collections (defaults?), choosing columns displayed by default
- Support the filter box with autocomplete-type search (in case there are many)
- Usability: intro tour of the interface (see intro.js), pop-up definitions
- Out there: new graphic image and/or colour scheme to integrate with MathHub?
- How to do it? - MitM
- Sage explorer connection?