Mathematics

10 Titles

All Books

Cover image

Number Fields

Frans Keune (Author)
March 27, 2023
Cover image

Guiding Automated Theorem Proving with Machine Learning

Jelle Piepenbrock (Author)
March 12, 2025
Cover image

Dioptrice

Johannes Kepler (Author); Søren S. Larsen (Translator)
May 19, 2025