Massimo Bartoletti, Stefano Bonzio, Marco Ferrara. Certified Algorithms for Numerical Semigroups in Rocq. In Valeria de Paiva, Peter Koepke, editors, Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings. Volume 16136 of Lecture Notes in Computer Science, pages 340-356, Springer, 2025. [doi]
Abstract is missing.