TY - RPRT TI - Certifying rings of integers in number fields AU - Anne Baanen AU - Alain Chavarri Villarello AU - Sander R. Dahmen PY - 2025 DO - 10.1145/3703595.3705874 UR - https://arxiv.org/abs/2409.18030 ID - 2409.18030 ER -