4 papers
cs.LO2025
The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
Arnaud Mayeux, Jujian Zhang
We formalize the multi-graded Proj construction in Lean4, illustrating mechanized mathematics and formalization.
math.AG2025
Algebraic magnetism invariants of a double scalar action on the projective plane
Arnaud Mayeux
This document is an expanded version of the notes from a talk at the \textit{Arithmetic and Algebraic Geometry Week} conference, which took place in Iasi in September 2025. In this…
math.AG2025
Algebraic Magnetism Invariants of Self-Actions of Diagonalizable Monoid Schemes
Arnaud Mayeux
We provide a method to compute the pure magnets of the action of a diagonalizable monoid scheme on itself. This is described in terms of minimal generators of the sharp monoid obta…
math.GM2024
Conjecture: the set of prime numbers is supernatural
Arnaud Mayeux
Prime numbers are fascinating by the way they appear in the set of natural numbers. Despite several results enlighting us about their repartition, the set of prime numbers is often…