1 citations · 1 across the 2 of their papers we have counts for
2 papers
math.AG2026
Hilbert's 16th problem for arrangements of curves on a surface
Giacomo Maletto
We introduce a combinatorial structure encoding the topological type of a curve transverse to a fixed cellular arrangement of curves on a compact real surface, in terms o…
cs.LO2022★ 1 cited
Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean
Giacomo Maletto, Luca Roversi
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversible Computation. We illustrate a proof, fully developed with the proof-assistant…