@misc{indiciae44397a2fd44d,
  title = {Certifying rings of integers in number fields},
  author = {Anne Baanen and Alain Chavarri Villarello and Sander R. Dahmen},
  year = {2025},
  doi = {10.1145/3703595.3705874},
  url = {https://arxiv.org/abs/2409.18030},
  note = {Source identifier: 2409.18030}
}