Certifying rings of integers in number fields

Anne Baanen, Alain Chavarri Villarello, Sander R. Dahmen

Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra sys…