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

Full work available at URL https://doi.org/10.1007/978-3-032-07021-0_19

zbMATH Keywords

Coq/Rocqnumerical semigroupsverified theory formalization

Mathematics Subject Classification ID

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

Cites work

• Algorithms for generalized numerical semigroups
• Counting numerical semigroups with short generating functions.
• Decompositions of ideals into irreducible ideals in numerical semigroups.
• Faster algorithms for Frobenius numbers
• Fundamental gaps in numerical semigroups.
• scientific article; zbMATH DE number 2229032 (Why is no real title available?)
• Numerical semigroups and applications
• Numerical semigroups.
• On Generators of the Semigroup of a Plane Curve Singularity
• On the Weight Hierarchy of Codes Coming From Semigroups With Two Generators
• Semigroups associated to singular points of plane curves.
• The oversemigroups of a numerical semigroup.

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)