Page personnelle de Matthieu Piquerez

FR : Je suis en post-doc en informatique et en mathématiques depuis janvier 2022 avec Assia Mahboubi à Nantes université dans l'équipe Gallinette (inria). Je développe des outils pour formaliser des preuves en homologies algébriques (commutativité de diagrammes, chasses aux diagrammes, suites spectrales, ...), tout en poursuivant mes travaux de thèse en mathématique sur la théorie de Hodge tropicale.

EN : I am a postdoctoral researcher in computer science and in mathematics since january 2022, in the university of Nantes (France) in the team Gallinette (inria). Assia Mahboubi and I are developping a library of tools to formalize proofs in homological algebra (commutativity of diagrams, diagram chasing, spectral sequences, etc.). I also continue to study tropical Hodge theory.

EO : Mi estas komputika kaj matematika esploristo. Mi laboras en la universitato de Nanto (Francio) en la teamo Gallinette (inria). Mi laboras kun Assia Mahboubi kaj mi provas fari biblioteko por atesti pruvojn je homologeca algebro. Mi ankaŭ plu esploras matematike tropikan Hoĝan teorion.

Contact   matthieu {point} piquerez {at} univ-nantes {point} fr   (ou   matthieupi2 {at} yahoo {point} fr   ).

Voici mon CV.

Here is my CV.

Écrits

  1. Avec O. Amini. Hodge theory for tropical fans. Brouillon (2023)
  2. Avec E. Aksnes, O. Amini et K. Shaw. Cohomologically tropical varieties. Prépublication arXiv:2307.02945 (2023)
  3. Avec A. Mahboubi. A first order theory of diagram chasing. Prépublication (2023)
  4. Manuscrit de thèse: Tropical Hodge theory and applications pdf (sous la direction d'Omid Amini, 2021)
  5. Avec O. Amini. Homology of tropical fans. Prébublication arxiv:2105.01504 (2021)
  6. Avec O. Amini. Tropical Clemens-Schmid sequence and existence of tropical cycles with a given cohomology class. Prébublication arxiv:2012.13142 (2020).
  7. Avec O. Amini. Hodge theory for tropical varieties. Prébublication arXiv:2007.07826 (2020).
  8. A multidimensional generalization of Symanzik polynomials. Prépublication arxiv:1901.09797
  9. Mémoire de Master : A generalization of Symanzik polynomials (sous la direction d'Omid Amini, 2017) pdf
  10. Exposé de 1ère année : Partitions planes (avec Louise Gassot, sous la direction de Jérémie Bouttier) pdf

Autres activités