Computer Algebra System OSCAR - Wolfram Decker (Springer Nature Switzerland, 2025)