SVARTZ Jules
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 38th 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)