Computer Algebra System OSCAR - Wolfram Decker; Eder, Christian; Fieker, Claus; Horn, Max; Joswig, Michael (Springer Nature Switzerland, 2025)