Preprints
| Title | Authors | Link | Implemented in formalized mathematics |
|---|---|---|---|
| Algebraic Magnetism: X-products of attractors via F_1-geometry | A. Mayeux | Link | Not yet |
| Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4 | A. Mayeux, J. Zhang | Link | Yes |
| A polyptych of multi-centered deformation spaces | A. Dubouloz, A. Mayeux (appendix by S. Brochard, A. Dubouloz, A. Mayeux) | Link | Not yet |
Research journal papers
| Title | Authors | Journal | Link | Implemented in formalized mathematics |
|---|---|---|---|---|
| Algebraic Magnetism | A. Mayeux | Semigroup Forum, to appear. | ||
| Multi-centered dilatations, congruent isomorphisms and Rost double deformation space | A. Mayeux | Transformation Groups, Volume 31, pages 1801–1850 (2026). | Link | Partly |
| On multi-graded Proj schemes | A. Mayeux, S. Riche | Publications of the Research Institute for Mathematical Sciences, 62 (2026), no. 1, 115–176. | Link | Partly |
| Algebraic magnetism invariants of self-actions of diagonalizable monoid schemes | A. Mayeux | Semigroup Forum, 112 (2026), no. 2, 532–540. | Link | Not yet |
| Dilatations of categories | A. Mayeux | Higher Structures, 9 (2025), no. 2, 62–75. | Link | Partly |
| Conjecture: the set of prime numbers is supernatural | A. Mayeux | Proceedings of the Bulgarian Academy of Sciences, 78 (2025), no. 11, 1585–1592. | Link | Not yet |
| Comparing Bushnell-Kutzko and Sécherre’s constructions of types for GL_N and its inner forms with Yu’s construction | A. Mayeux, Y. Yamamoto | Bulletin de la Société Mathématique de France, 152 (2024), no. 4, 785–855. | Link | Not yet |
| Néron blowups and low-degree cohomological applications | A. Mayeux, T. Richarz, M. Romagny | Algebraic Geometry, 10 (2023), no. 6, 729–753. | Link | Not yet |
| Bruhat-Tits theory from Berkovich’s point of view. Analytic filtrations | A. Mayeux | Annales Henri Lebesgue, 5 (2022), 813–839. | Link | Not yet |
Book ChapterS
| Title | Authors | Book | Link |
|---|---|---|---|
| A survey on algebraic dilatations | A. Dubouloz, A. Mayeux, J. P. dos Santos | Fields Institute Monographs, to appear. | Link |
Conference Proceedings
| Title | Authors | Venue | Link |
|---|---|---|---|
| Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories | A. Mayeux | Lecture Notes in Networks and Systems, Springer, to appear. | Link |
| The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction | A. Mayeux, J. Zhang | Springer Proceedings in Mathematics & Statistics, to appear. | Link |
| Magnets and attractors of diagonalizable group schemes actions | A. Mayeux | Springer Proceedings in Mathematics & Statistics, Vol. 473, pp. 437–442, Springer, Singapore, 2025. | Link |
Arnaud Mayeux 