3 papers
math.GN2026
Topological and differentiable aspects of Clifford semigroups
Stefano Bonzio, Andrea Loi, Giuseppe Zecchini
This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in…
math.LO2026
On some algebraic properties of Plonka sums and regularized varieties
S. Bonzio, G. Zecchini
PÅonka sums consist of a general construction that provides structural description for algebras in regularized varieties, whose examples range from Clifford semigroups to many alg…
cs.DM2025
Certified algorithms for numerical semigroups in Rocq
Massimo Bartoletti, Stefano Bonzio, Marco Ferrara
A numerical semigroup is a co-finite submonoid of the monoid of non-negative integers under addition. Many properties of numerical semigroups rely on some fundamental invariants, s…