Portal/TA1/data guidelines: Difference between revisions
m LKastner moved page Portal/TA1/data guidelines to Portal/TA1/data guidelines: Make consistent with other TA pages |
|
(No difference)
| |
Revision as of 14:40, 6 December 2023
Data Formats and Serialization
Mission
Our mission is to broaden the accessibility, usability and find-ability of mathematical research results so that the data can be used amongst different research groups and software systems. Our first goal is to establish a standardised data format for storing abstract mathematical objects and provide guidelines for the serialization of such objects.
Our View on Data
Software and data formats are in a state of flux, which is quite the opposite of mathematical objects. Mathematical data should be made to stand the test of time. Our mission is to provide guidelines and a data format that can be adapted to as many technologies as possible as well as to new technologies.
Current Developments and OSCAR
We are currently developing methods and a data format for the serialization of mathematical objects in OSCAR. OSCAR is an open source computer algebra systems that provides functionality for working with objects such as groups, rings, fields, linear and commutative algebra, number theory, algebraic and polyhedral geometry. OSCAR is in active development, more information can be found here.
Examples
Here are some links to jupyter notebooks we have created to demonstrate how one could work with OSCAR and use it to store mathematical objects as JSON files. Cloning the notebooks and running them locally will produce JSON files in the same directory as the notebook.
