International projects
EAGLES:
Efficient Algorithms for Guessing, inequaLitiEs, and Summation.
Local coordinator: J. Berthomieu
Nodes:
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).
ECARP:
Efficient Certified Algorithms for Robot motion Planning.
Coordinator: M. Safey El Din
Nodes:
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).
POEMA:
Polynomial Optimization, Efficiency through Moments and Algebra.
Local coordinator: M. Safey El Din
Nodes:
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).
Local projects
Hmm:
Symbolic-numeric algorithms for Holonomic Method of Moments.
Coordinators: J. Berthomieu and P. Lairez
Partners:
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
GPU:
Gröbner bases Performance Upwards.
Coordinators: J. Berthomieu and T. Mary
Partners:
Gröbner bases Performance Upwards.
Coordinators: J. Berthomieu and T. Mary
Partners:
- PolSys (LIP6, Paris, France),
- PEQUAN (LIP6, Paris, France),
National projects
CREAM:
Fast reconstruction of multivariate algebraic relations.
Project coordinator: V. Neiger. Young researcher project (ANR's "JCJC").
Fast reconstruction of multivariate algebraic relations.
Project coordinator: V. Neiger. Young researcher project (ANR's "JCJC").
De
Rerum Natura:
Deciding irrationality and transcendence. Classification algorithms for number theory and combinatorics.
Local coordinator: J. Berthomieu
Nodes:
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).
SESAME:
Singularités Et Stabilité des AsservisseMEnts référencés Capteurs.
Local coordinator: M. Safey El Din
Nodes:
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:
Autonomous guidance and targetting by semi-algebraic methods: from local to global shooting.
Coordinator: M. Safey El Din
Partners:
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).
Post-quantum Cryptography:
Google gift for suporting the development of the msolve library and tools for post-quantum cryptanalysis.
Coordinators: L. Perret
Google gift for suporting the development of the msolve library and tools for post-quantum cryptanalysis.
Coordinators: L. Perret
Multivariate Cryptography:
CIFRE contract for the study of post-quantum signature schemes.
Coordinator: M. Safey El Din
CIFRE contract for the study of post-quantum signature schemes.
Coordinator: M. Safey El Din