A FAIR File Format for Mathematical Software. - Antony Della Vecchia; Michael Joswig; Benjamin Lorenz (ICMS, 2024)