Preprints
| Title | Authors | Link |
|---|---|---|
| Projective blowups: a formal and multicentered proof | A. Mayeux | Link |
| Dilatations of categories, via their lean formalization | A. Mayeux | Link |
| The set of primes is supernatural: a Lean formalization of the statement of the conjecture | A. Mayeux | Link |
| Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge | A. Mayeux | Link |
| On integrated information under Krohn-Rhodes decomposition | A. Mayeux | Link |
| Algebraic Magnetism: X-products of attractors via F_1-geometry | A. Mayeux | Link |
| A polyptych of multi-centered deformation spaces | A. Dubouloz, A. Mayeux (appendix by S. Brochard, A. Dubouloz, A. Mayeux) | Link |
Refereed publications
| No | Title | Authors | Venue | Link | Implemented in formalized mathematics |
|---|---|---|---|---|---|
| 14 | A survey on algebraic dilatations | A. Dubouloz, A. Mayeux, J. P. dos Santos | Fields Institute Monographs, Springer, to appear. | Link | Partly |
| 13 | Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4 | A. Mayeux, J. Zhang | Journal of Automated Reasoning, Springer, to appear. | Link | Yes |
| 12 | Formalizing all indexed mathematics as a benchmark for general reasoning | A. Mayeux | Lecture Notes in Networks and Systems, Springer, to appear. | Link | Partly |
| 11 | The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction | A. Mayeux, J. Zhang | Springer Proceedings in Mathematics & Statistics, Springer, to appear. | Link | Partly |
| 10 | Algebraic Magnetism | A. Mayeux | Semigroup Forum, Springer, Volume 113, pages 126–201 (2026). | Link | Not yet |
| 9 | Multi-centered dilatations, congruent isomorphisms and Rost double deformation space | A. Mayeux | Transformation Groups, Springer, Volume 31, pages 1801–1850 (2026). | Link | Partly |
| 8 | 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 |
| 7 | Algebraic magnetism invariants of self-actions of diagonalizable monoid schemes | A. Mayeux | Semigroup Forum, Springer, 112 (2026), no. 2, 532–540. | Link | Not yet |
| 6 | Dilatations of categories | A. Mayeux | Higher Structures, 9 (2025), no. 2, 62–75. | Link | Yes |
| 5 | Conjecture: the set of prime numbers is supernatural | A. Mayeux | Proceedings of the Bulgarian Academy of Sciences, 78 (2025), no. 11, 1585–1592. | Link | Yes |
| 4 | Magnets and attractors of diagonalizable group schemes actions | A. Mayeux | Springer Proceedings in Mathematics & Statistics, Vol. 473, pp. 437–442, Springer, Singapore, 2025. | Link | Not yet |
| 3 | 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 |
| 2 | 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 |
| 1 | Bruhat-Tits theory from Berkovich’s point of view. Analytic filtrations | A. Mayeux | Annales Henri Lebesgue, 5 (2022), 813–839. | Link | Not yet |
Arnaud Mayeux 