2026-08-12 –, Room 6
Due to the nature of data in computer algebra, the storage of such data requires a more sophisticated format. The mrdi file format is a JSON based file format with the necessary structure for saving and loading common types among computer algebra software.
The first implementation for serializing mrdi files has been written in the computer algebra system Oscar.jl. We present the format as well as some design decisions for the implementation in Oscar.lj
I am a PhD student at the TU Berlin in mathematics.
I am also a maintainer of Oscar.jl