Preprints TitleAuthorsLink Towards a Bridge Layer Between Bibliographic and Formalized Mathematical KnowledgeA. Mayeux LinkAlgebraic Magnetism: X-products of attractors via F_1-geometryA. Mayeux Link Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4A. Mayeux, J. ZhangLinkA polyptych of multi-centered deformation spacesA. Dubouloz, A. Mayeux (appendix by S. Brochard, A. Dubouloz, A. Mayeux)Link Research journal papers…