2012-2016 Publications

• 2016
  • J.‑Ch. Faugère, P.‑J. Spaenlehauer, J. Svartz : “Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems”, Proceedings of ISSAC 2016, Waterloo, Canada, pp. 223-230, (ACM) (2016)
• 2014
  • J. Svartz : “Algorithmes efficaces pour le calcul des bases de Gröbner”, thesis, defence 10/30/2014, supervision Faugère, Jean-Charles (2014)
  • J.‑Ch. Faugère, P.‑J. Spaenlehauer, J. Svartz : “Sparse Gröbner Bases: the Unmixed Case”, ISSAC 2014, Kobe, Japan (2014)
• 2013
  • J.‑Ch. Faugère, J. Svartz : “Gröbner Bases of Ideals Invariant under a Commutative Group: the Non-Modular Case”, Proceedings of the 38^th International Symposium on Symbolic and Algebraic Computation, ISSAC '13, Boston, United States, pp. 347-354, (ACM) (2013)
• 2012
  • J.‑Ch. Faugère, J. Svartz : “Solving Polynomial Systems Globally Invariant Under an Action of the Symmetric Group and Application to the Equilibria of N vortices in the Plane”, ISSAC '12 - International Symposium on Symbolic and Algebraic Computation, Grenoble, France, pp. 170-178, (ACM) (2012)