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 (initier 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

  1. 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)
  2. 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
  3. 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

  4. Avec O. Amini. Homological smoothness and Deligne resolution for tropical fans. Prépublication arXiv:2405.05718 (2024)
  5. Avec O. Amini. Tropical Feichtner-Yuzvinsky and positivity criterion for fans. Prépublication arXiv:2405.05014 (2024)
  6. Avec O. Amini. Hodge theory for tropical fans. Prépublication arXiv:2310.15367 (2023)
  7. Manuscrit de thèse: Tropical Hodge theory and applications pdf (sous la direction d'Omid Amini, 2021)
  8. Avec O. Amini. Homology of tropical fans. Prébublication arxiv:2105.01504 (2021)
  9. Avec O. Amini. Tropical Clemens-Schmid sequence and existence of tropical cycles with a given cohomology class. Prébublication arxiv:2012.13142 (2020).
  10. Avec O. Amini. Hodge theory for tropical varieties. Prébublication arXiv:2007.07826 (2020).
  11. A multidimensional generalization of Symanzik polynomials. Prépublication arxiv:1901.09797
  12. Mémoire de Master : A generalization of Symanzik polynomials (sous la direction d'Omid Amini, 2017) pdf
  13. Exposé de 1ère année : Partitions planes (avec Louise Gassot, sous la direction de Jérémie Bouttier) pdf

Logiciels / Softwares

Autres activités / Other activities