TY  - RPRT
TI  - Formally certifying number field invariants
AU  - Alain Chavarri Villarello
AU  - Sander R. Dahmen
PY  - 2026
UR  - https://arxiv.org/abs/2607.26230
ID  - 2607.26230
ER  -