The computer algebra system OSCAR algorithms and examples - Decker, Wolfram; Eder, Christian 1982-; Fieker, Claus 1969-; Horn, Max 1980-; Joswig, Michael 1965- (Algorithms and Computation in Mathematics, 2025)