Mathematics

14 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

Comparing and Constructing (Co)Inductive Predicates

Ruben Turkenburg (Author)
June 19, 2026
cover image

Commutative algebra and symmetric cryptography

Robert Christian Subroto (Author)
November 24, 2025