🤖 AI Summary
To address poor data interoperability among computer algebra systems (CAS) and the difficulty of reproducing and reusing symbolic computation results, this paper designs and implements the first general-purpose JSON format conforming to the FAIR principles—Findable, Accessible, Interoperable, and Reusable. Rigorously defined via JSON Schema, the format supports lossless serialization of core algebraic objects—including polynomials, matrices, and groups—and is deeply integrated into the OSCAR system. It enables bidirectional data exchange with other algebraic environments such as Singular, GAP, and Polymake. The key contribution lies in the systematic application of FAIR principles to symbolic computation data persistence—a novel approach that establishes a standardized infrastructure for cross-platform reproducible mathematical computation. Empirical evaluation demonstrates the format’s high extensibility and practical deployability in real-world CAS workflows.
📝 Abstract
We describe a generic JSON based file format which is suitable for computations in computer algebra. This is implemented in the computer algebra system OSCAR, but we also indicate how it can be used in a different context.