Formally certifying number field invariants

MaRDI QIDQ7335592arXivFDO

Authors Alain Chavarri Villarello, Sander R. Dahmen

Publication date 2026

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Formally certifying number field invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7335592)