Hmm: Symbolic-numeric algorithms for a Holonomic Method of Moments.
DIM-RFSI,
2021–2024
Research
Projects
Computer algebra and polynomial system solving.
Coordinator
G.P.U.: Gröbner bases Performance Upwards.
LIP6,
2022
CAMiSAdo: Computer Algebra Methods for Semi-Algebraic programming.
PGMO,
2019–2021
Local coordinator
EAGLES: Efficient Algorithms for Guessing, inequaLitiEs, and Summation.
DRN: De Rerum Natura: Deciding irrationality and transcendence. Classification algorithms for number theory and combinatorics.
ANR,
2019–2024