News!!

• 2025/07/01 – In charge of GT-CF in the GDR-IFM

  GT-CF (Groupe de Travail - Calcul Formel) gathers all computer algbera researchers in France, in charge
  with Khalil Ghorbal (INRIA)

• 2025/07/07 to 2023/07/11 at University of Wisconsin–Madison

  SIAM AG25: Gröbner Bases Computations and Applications session, organized
  with Christian Eder (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau), Vincent Neiger (Sorbonne Université).

• 2025/05/5 – Update – New publication!!

  Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences,
  Proceedings of the 50th International Symposium on Symbolic and Algebraic Computation, ISSAC '25,
  Guanajuato, Mexico,
  with Romain Lebreton (Université de Montpellier) and Kevin Tran (Sorbonne Université).

• 2025/02/10 – New preprint!

  Quasi-Linear Guessing of Minimal Lexicographic Gröbner Bases of Ideals of C-Relations of Random Bi-Indexed Sequences,
  with Romain Lebreton (Université de Montpellier) and Kevin Tran (Sorbonne Université).

• 2025/01/28 – New preprint!

  Multiword matrix multiplication over large finite fields in floating-point arithmetic,
  with Stef Graillat (Sorbonne Université), Dimitri Lesnoff (Sorbonne Université) and Théo Mary (CNRS).

• 2024/12/20 – Update – New publication!!

  Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs, Proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, 355–374,
  Hamilton, ON, Canada,
  with Daniela Kaufmann (Technische Universität Wien).

• 2024/11/26 – New preprint!

  Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs,
  with Daniela Kaufmann (Technische Universität Wien).

• 2024/10/14 – msolve release v.0.7.3

  an open-source library for solving polynomial systems, written in C,
  with Christian Eder (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau), Vincent Neiger (Sorbonne Université) and Mohab Safey El Din (Sorbonne Université).

• 2024/09/18 – msolve release v.0.7.2

• 2024/09/01 – Start of my part-time delegation to the CNRS at LIP6!

  Thanks to this, my teaching load is reduced by half this academic year.

• 2024/07/31 – msolve release v.0.7.1

• 2024/05/11 – Update – New publication!!

  Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting,
  Proceedings of the 49th International Symposium on Symbolic and Algebraic Computation, ISSAC '24, 307–315,
  Raleigh, NC, USA,
  with Rafael Mohr (Sorbonne Université and Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau).

• 2024/03/04 to 2024/03/08 at CIRM (Marseille)

  JNCF - Francophone Computer Algebra Days (Journées Nationales de Calcul Formel), organized
  with Florent Bréhard (CNRS), Aude Maignan (Université Grenoble Alpes), Fatemeh Mohammadi (Katholieke Universiteit Leuven), François Ollivier (CNRS).

• 2024/02/26 – msolve release v.0.6.5

• 2024/02/06 – New preprint!

  Computing Generic Fibers of Polynomial Ideals with FGLM and Hensel Lifting,
  with Rafael Mohr (Sorbonne Université and Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau).

• 2023/12/16 – msolve release v.0.6.3

• 2023/11/02 – msolve release v.0.6.1

• 2023/09/21 at Sorbonne Université

  I defended my habilitation thesis (HDR)

• 2023/08/07 – New publication!

  Modular matrix multiplication on GPU for polynomial system solving.
  ACM Communications in Computer Algebra 57 (2), 35–38,
  with Stef Graillat (Sorbonne Université), Dimitri Lesnoff (Sorbonne Université) and Théo Mary (CNRS).

• 2023/07/23 to 2023/07/27 at Universitetet i Tromsø - Norges arktiske universitet

  ISSAC 2023: Dimitri Lesnoff (Sorbonne Université) presented our software demo Modular matrix multiplication on GPU for polynomial system solving.

• 2023/07/13 to 2023/07/14 at Technische Universiteit Eindhoven

  SIAM AG23: Multivariate Polynomials, Ideals, and Modules: Algorithms and Applications session, parts I, II and III, organized
  with Christian Eder (Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau), Vincent Neiger (Sorbonne Université).