Certified algorithms for numerical semigroups in Rocq

DOI10.1007/978-3-032-07021-0_19MaRDI QIDQ6856405zbMATH OpenFDO

Authors Massimo Bartoletti, Stefano Bonzio, Marco Ferrara

Publication date 19 February 2026

zbMATH Keywords

numerical semigroupsverified theory formalizationCoq/Rocq

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

This page was built for publication: Certified algorithms for numerical semigroups in Rocq

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