Homepage
Members
Publications
Software
Seminar
Projects

International projects



ANR-FWF
2023–2027
EAGLES:
Efficient Algorithms for Guessing, inequaLitiEs, and Summation.
Local coordinator: J. Berthomieu
Nodes:
  • LIP6 (Paris, France),
  • Inria Saclay – Île-de-France (Palaiseau, France),
  • RICAM (Linz, Austria),
  • Johannes Kepler Universität Linz (Linz, Austria).



ANR-FWF
2019–2024
ECARP:
Efficient Certified Algorithms for Robot motion Planning.
Coordinator: M. Safey El Din
Nodes:
  • LIP6 (Paris, France),
  • LS2N (Nantes, France),
  • Universität Innsbruck (Innsbruck, Austria),
  • Johannes Kepler Universität Linz (Linz, Austria).



Marie Skłodowska-Curie Actions - ITN 2018–2023
POEMA:
Polynomial Optimization, Efficiency through Moments and Algebra.
Local coordinator: M. Safey El Din
Nodes:
  • Sorbonne Université (Paris, France),
  • Inria (Sophia, France),
  • CNRS (Toulouse, France),
  • Centrum Wiskunde & Informatica (Amsterdam, Netherlands)
  • Universiteit van Tilburg (Tilburg, Netherlands),
  • Universität Konstanz (Konstanz, Germany),
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (Erlangen and Nuremberg, Germany),
  • Università degli Studi Firenze (Florence, Italy),
  • University of Birmingham (Birmingham, United Kingdom),
  • Universitetet i Tromsø – Norges arktiske universitet (Tromsø, Norway).


National projects



ANR
2020–2024
De Rerum Natura:
Deciding irrationality and transcendence. Classification algorithms for number theory and combinatorics.
Local coordinator: J. Berthomieu
Nodes:
  • LIP6 (Paris, France),
  • Inria Saclay – Île-de-France (Palaiseau, France),
  • Université de Lyon 1 (Lyon, France).



ANR
2019–2024
SESAME:
Singularités Et Stabilité des AsservisseMEnts référencés Capteurs.
Local coordinator: M. Safey El Din
Nodes:
  • LIP6 (Paris, France),
  • LS2N (Nantes, France),
  • IRISA (Rennes, France).


Industrial projects



AFOSR
2021–2024
AFOSR:
Autonomous guidance and targetting by semi-algebraic methods: from local to global shooting.
Coordinator: M. Safey El Din
Partners:
  • LIP6 (Paris, France),
  • LJLL (Paris, France).

Google
2022
Post-quantum Cryptography:
Google gift for suporting the development of the msolve library and tools for post-quantum cryptanalysis.
Coordinators: L. Perret


Local projects



DIM-RFSI
2021–2024
Hmm:
Symbolic-numeric algorithms for Holonomic Method of Moments.
Coordinators: J. Berthomieu and P. Lairez
Partners:
  • LIP6 (Paris, France),
  • Inria Saclay – Île-de-France (Palaiseau, France).


Past local projects



LIP6
2022
GPU:
Gröbner bases Performance Upwards.
Coordinators: J. Berthomieu and T. Mary
Partners:
  • PolSys (LIP6, Paris, France),
  • PEQUAN (LIP6, Paris, France),