Team : PolSys - Polynomial Systems
Axes : SSR (👥👥), TMC (👥👥).
Team leader :
Mohab Safey El Din Campus Pierre et Marie Curie 26-00/321
POLSYS/SALSA is a joint team between INRIA and University Pierre and Marie Curie. Our group is internationally recognized as one of the leading group in the area of solving systems of polynomial equations/inequalities (non-linear systems) using exact methods. Our goal is to develop efficient algorithms for computing the complex solutions and/or the real ones or in a finite field. Our group has developed several fundamental algorithms, in particular algorithms for computing Gröbner bases and algorithms based on the so-called critical point method. Complexity issues are also investigated and recently our group has obtained results for structured polynomial systems (systems with symmetries, overdetermined or bilinear systems,…) enabling to identify some classes of problems that can be solved in polynomial time.
The practical efficiency of our algorithms relies on highly efficient linear algebra libraries. Hence, our group is involved in the development of parallel high performance linear algebra packages. Algorithms and software developed by our group are validated by solving challenging applications arising in scientific computing. Beyond the wide range of studied applications, the group focuses on:
Our software are devoted to be used in real life applications and teaching. The valorization of this software activity is ensured by their integration in recent releases of the Computer Algebra system Maple (distributed by the WMI Canadian Company)
- Applications in Cryptology and, in particular, the emerging topic Algebraic Cryptanalysis. The goal is to evaluate the security of a cryptosystem by reducing its study to the solving of an algebraic system with coefficients in a finite field.
- Computational Geometry: a new trend in this area is to substitute the manipulation of points and lines with algebraic curves. Intersecting such objects is equivalent to solve an algebraic system.
- Global optimizations problems of algebraic functions leading to new applications in scientific computing.
- Software and algorithms developed by the group have been successfully used in several applications fields: Biology, Robotics and Signal Theory.
As a prospective subject, we investigate a new research direction which consists in exploiting interactions between symbolic and numeric computing.
Computer Algebra. Polynomial System Solving. Gröbner Bases. Complexity. Real roots. Parametric systems. Cryptology. Algebraic Cryptanalysis. Algebraic Computational Geometry. Applications. Symbolic/Numeric Interaction. Software. High performance Linear Algebra.
- T. Zhao, D. Wang, H. Hong : “Solution Formulas for Cubic Equations Without or With Constraints”, Journal of Symbolic Computation, vol. 46 (8), pp. 904-918, (Elsevier) [Zhao 2011]
- M. Safey El Din, E. Schost : “A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces”, Discrete and Computational Geometry, vol. 45 (1), pp. 181-220, (Springer Verlag) [Safey El Din 2011]
- H. Everett, D. Lazard, S. Lazard, M. Safey El Din : “The Voronoi diagram of three lines”, Discrete and Computational Geometry, vol. 42 (1), pp. 94-130, (Springer Verlag) [Everett 2009b]
- M. Bardet, J.‑Ch. Faugère, B. Salvy, P.‑J. Spaenlehauer : “On the Complexity of Solving Quadratic Boolean Systems”, Journal of Complexity, vol. 29 (1), pp. 53-75, (Elsevier) [Bardet 2013]
- J.‑Ch. Faugère, M. Safey El Din, P.‑J. Spaenlehauer : “Computing Loci of Rank Defects of Linear Matrices using Gröbner Bases and Applications to Cryptology”, ISSAC 2010 - 35th International Symposium on Symbolic and Algebraic Computation, Munich, Germany, pp. 257-264, (ACM) [Faugère 2010k]
- J.‑Ch. Faugère, M. Safey El Din, P.‑J. Spaenlehauer : “Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity”, Journal of Symbolic Computation, vol. 46 (4), pp. 406-437, (Elsevier) [Faugère 2011e]
- M. Jin, X. Li, D. Wang : “A new algorithmic scheme for computing characteristic sets”, Journal of Symbolic Computation, vol. 50, pp. 431-449, (Elsevier) [Jin 2013]
- A. Strzebonski, E. Tsigaridas : “Univariate Real Root Isolation in Multiple Extension Fields”, ISSAC 2012 - 37th ACM International Symposium on Symbolic and Algebraic Computation, Grenoble, France, pp. 343-350, (ACM) [Strzebonski 2012]
Jean-Charles.Faugere (at) nulllip6.fr