Page personnelle de Matthieu Piquerez
FR : Je suis en post-doc en mathématiques depuis janvier 2025 avec Raman Sanyal à Goethe-Universität, à Francfort, dans l'équipe de mathématiques discrètes.
Je travaille sur les polytopes et les éventails (voir le projet), plus ou moins en lien avec mes travaux de thèse en mathématique sur la théorie de Hodge tropicale.
Je continue également mon précédent projet (initié pendant mon post-doc à Gallinette à Nantes de 2022 à 2024) de développer un outil pour effectuer simplement des raisonnements diagrammatiques certifiés sur ordinateur (avec l'assistant à la preuve Coq).
EN : I am a postdoctoral researcher in discrete mathematics since january 2025, in the Goethe-Universität, Frankfurt, with Raman Sanyal.
I am studying polytopes and fans (see the project). This is linked to my PhD thesis about tropical Hodge theory.
I also continue my project (initiated in my postdoc in Gallinette from 2022 to 2024) of developping to make certified diagrammatic reasonning on computer.
EO : Mi estas matematika kaj komputika esploristo. Mi laboras en la universitato de Frankfurto (Germanio).
Mi interesas pri plurtopoj kaj tropikan Hoĝan teorion kaj pri komputikaj iloj por helpi matematikistoj.
Contact piquerez {at}
math {dot} uni-frankfurt {dot} de (ou matthieupi2 {at}
yahoo {dot} fr ).
Voici mon CV.
Here is my CV.
Écrits / Papers
- Avec B. Guillemet et A. Mahboubi. Machine-Checked Categorical Diagrammatic Reasoning. Lien. Dans 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
- Avec E. Aksnes, O. Amini et K. Shaw. Cohomologically tropical varieties. arXiv:2307.02945 (2023), accepté (après modifications mineures) dans le Journal of the Institute of Mathematics of Jussieu
- Avec A. Mahboubi. A first order theory of diagram chasing. Lien HAL. Dans 32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL’24), Naples (Université Federico II), Italy, 2024
- Avec O. Amini. Homological smoothness and Deligne resolution for tropical fans. Prépublication arXiv:2405.05718 (2024)
- Avec O. Amini. Tropical Feichtner-Yuzvinsky and positivity criterion for fans. Prépublication arXiv:2405.05014 (2024)
- Avec O. Amini. Hodge theory for tropical fans. Prépublication arXiv:2310.15367 (2023)
- Manuscrit de thèse: Tropical Hodge theory and applications pdf (sous la direction d'Omid Amini, 2021)
- Avec O. Amini. Homology of tropical fans. Prébublication arxiv:2105.01504 (2021)
- Avec O. Amini. Tropical Clemens-Schmid sequence and existence of tropical cycles with a given cohomology class. Prébublication arxiv:2012.13142 (2020).
- Avec O. Amini. Hodge theory for tropical varieties. Prébublication arXiv:2007.07826 (2020).
- A multidimensional generalization of Symanzik polynomials. Prépublication arxiv:1901.09797
- Mémoire de Master : A generalization of Symanzik polynomials (sous la direction d'Omid Amini, 2017) pdf
- Exposé de 1ère année : Partitions planes (avec Louise
Gassot, sous la direction de Jérémie
Bouttier) pdf
Autres notes
Logiciels / Softwares
Autres activités / Other activities
- Je suis bénévole dans la monnaie locale en France, j'ai notamment été trésorier de l'association Moneko, l'association de monnaie locale de Loire-Atlantique.
- Je suis aussi bénévole dans l'association FFJM : des concours de mathématiques ludiques pour tous.
- Je suis chef du projet Mathmosphère (version alpha), projet de l'association Animath. Mathmosphère est un site à destination de tous les élèves francophones de la 2nde à la Tle qui veulent découvrir des maths extrascolaires sous forme de MOOC. Le projet n'est plus très actif mais toujours opérationnel. Passez y faire un tour, ça me fera plaisir :).