Number Theory in OSCAR - Claus Fieker; Tommy Hofmann (2024)