Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Confirmable Workflows in OSCAR

Michael Joswig, Lars Kastner, Benjamin Lorenz

TL;DR

The paper addresses reproducibility of computer algebra workflows, arguing that confirmability requires linking theory, data, code, and environment under the FAIR principles ($F,A,I,R$). It demonstrates an architecture around OSCAR (in Julia) that uses the mrdi-file-format for serialization, project environments, and CI to realize reproducible experiments. Key contributions include practical guidelines for documenting computer algebra experiments, a Julia/OSCAR-based implementation, and integration with MaRDI for long-term data stewardship. This work advances reproducibility and interoperability in mathematical computing, enabling researchers to verify, reuse, and extend results across platforms and over time.

Abstract

We discuss what is special about the reproducibility of workflows in computer algebra. It is emphasized how the programming language Julia and the new computer algebra system OSCAR support such a reproducibility, and how users can benefit for their own work.

Confirmable Workflows in OSCAR

TL;DR

The paper addresses reproducibility of computer algebra workflows, arguing that confirmability requires linking theory, data, code, and environment under the FAIR principles (). It demonstrates an architecture around OSCAR (in Julia) that uses the mrdi-file-format for serialization, project environments, and CI to realize reproducible experiments. Key contributions include practical guidelines for documenting computer algebra experiments, a Julia/OSCAR-based implementation, and integration with MaRDI for long-term data stewardship. This work advances reproducibility and interoperability in mathematical computing, enabling researchers to verify, reuse, and extend results across platforms and over time.

Abstract

We discuss what is special about the reproducibility of workflows in computer algebra. It is emphasized how the programming language Julia and the new computer algebra system OSCAR support such a reproducibility, and how users can benefit for their own work.
Paper Structure (21 sections, 1 figure)

This paper contains 21 sections, 1 figure.

Table of Contents

  1. Introduction
  2. Related Work
  3. The FAIR Principles
  4. Computer Algebra Experiments
  5. Connect Your Experiment to the Mathematical Theory
  6. Publish Your Data
  7. Publish Your Code
  8. Write Down All Software Versions
  9. Document Your Hardware and Operating System
  10. Julia and Her Friends
  11. The Package Manager
  12. Project Environments
  13. Binary Packages
  14. GitHub Integration
  15. OSCAR
  16. ...and 6 more sections

Figures (1)

  • Figure 1: Project.toml file of Oscar.jl