News!!

• 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/11/03 – Open position

  Master 2 internship with a possibility to continue as a Ph.D. candidate.

• 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é) and myself.