Divide-and-conquer for Voronoi diagrams revisited, Computational Geometry, vol.43, issue.8, pp.688-699, 2010. ,
DOI : 10.1016/j.comgeo.2010.04.004
Topology and arrangement computation of semi-algebraic planar curves, Computer Aided Geometric Design, vol.25, issue.8, pp.631-651, 2008. ,
DOI : 10.1016/j.cagd.2008.06.009
URL : https://hal.archives-ouvertes.fr/inria-00343110
A new proof of Vincent's theorem ,
The Offset to an Algebraic Curve and an Application to Conics, Computational Science and Its Applications ? ICCSA 2005, pp.1-21, 2005. ,
DOI : 10.1007/11424758_71
URL : https://hal.archives-ouvertes.fr/inria-00350878
Introduction to Commutative Algebra, 1969. ,
A Laguerre Voronoi based scheme for meshing particle systems, Japan Journal of Industrial and Applied Mathematics, vol.4, issue.2, pp.167-177, 2005. ,
DOI : 10.1007/BF03167436
Regular algebraic curve segments (III)???applications in interactive design and data fitting, Computer Aided Geometric Design, vol.18, issue.3, pp.149-173, 2001. ,
DOI : 10.1016/S0167-8396(01)00010-3
Computing roots of polynomials by quadratic clipping, Computer Aided Geometric Design, vol.24, issue.3, pp.125-141, 2007. ,
DOI : 10.1016/j.cagd.2007.01.003
Complexity of computing semialgebraic descriptions of the connected components of a semi-algebraic set, ISSAC '98: Proceedings of the 1998 international symposium on Symbolic and algebraic computation, pp.25-29, 1998. ,
Algorithms in Real Algebraic Geometry, pp.64-65, 2003. ,
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587
Fat Arcs and Fat Spheres for Approximating Algebraic Curves and for Solving Polynomial Systems, 2011. ,
Multidimensional divide-and-conquer, Communications of the ACM, vol.23, issue.4, pp.214-229, 1980. ,
DOI : 10.1145/358841.358850
COMPLEXITY AND REAL COMPUTATION: A MANIFESTO, International Journal of Bifurcation and Chaos, vol.06, issue.01, pp.3-26, 1996. ,
DOI : 10.1142/S0218127496001818
Approximations of 2D and 3D generalized Voronoi diagrams, International Journal of Computer Mathematics, vol.80, issue.7, pp.1003-1022, 2008. ,
DOI : 10.1142/S0218195998000114
Géométrie Algébrique Réelle, 1987. ,
Curved Voronoi Diagrams, Effective Computational Geometry for Curves and Surfaces, pp.67-116, 2006. ,
DOI : 10.1007/978-3-540-33259-6_2
URL : https://hal.archives-ouvertes.fr/hal-00488446
Continued Fractions of Algebraic Numbers, Computational algebra and number theory, pp.137-152, 1992. ,
DOI : 10.1007/978-94-017-1108-1_10
Étude du résultant sur une variété algébrique. These, 2001. ,
Querying approximate shortest paths in anisotropic regions, Proceedings of the twenty-third annual symposium on Computational geometry, SCG '07, pp.84-91, 2007. ,
Computing nearest Gcd with certification, Proceedings of the 2009 conference on Symbolic numeric computation, SNC '09, pp.29-34 ,
DOI : 10.1145/1577190.1577200
Quantifier elimination for real closed fields by cylindrical algebraic decompostion, Proc. 2nd GI Conf. on Automata Theory and Formal Languages, pp.134-183, 1975. ,
DOI : 10.1007/3-540-07407-4_17
Introduction to Algorithms, 2001. ,
An introduction to semi-algebraic geometry. RAAG network school, 2002. ,
A numerical algorithm for zero counting, I: Complexity and accuracy, Journal of Complexity, vol.24, issue.5-6, pp.582-605, 2008. ,
DOI : 10.1016/j.jco.2008.03.001
URL : http://doi.org/10.1016/j.jco.2008.03.001
A numerical algorithm for zero counting. II: Distance to ill-posedness and smoothed analysis, Journal of Fixed Point Theory and Applications, vol.6, issue.2, pp.11784-11793, 1007. ,
DOI : 10.1007/s11784-009-0127-4
Computing the multiplicity structure in solving polynomial systems, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.116-123, 2005. ,
DOI : 10.1145/1073884.1073902
Computing the real roots of a polynomial by the exclusion algorithm, Numerical Algorithms, vol.20, issue.1, pp.1-24, 1993. ,
DOI : 10.1007/BF02142738
Calcul effectif de la topologie de courbes et surfaces algébriques réelles. These, 2009. ,
Multihomogeneous resultant formulae by means of complexes, Journal of Symbolic Computation, vol.36, issue.3-4, pp.317-342, 2003. ,
DOI : 10.1016/S0747-7171(03)00086-5
Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions, SIAM Journal on Optimization, vol.20, issue.6, pp.2876-2889, 2010. ,
DOI : 10.1137/090772459
URL : https://hal.archives-ouvertes.fr/inria-00419983
Voronoi diagrams and arrangements, Discrete & Computational Geometry, vol.24, issue.1, pp.25-44, 1986. ,
DOI : 10.1007/BF02187681
Almost tight recursion tree bounds for the Descartes method, Proceedings of the 2006 international symposium on Symbolic and algebraic computation , ISSAC '06, pp.71-78, 2006. ,
DOI : 10.1145/1145768.1145786
An Algebraic Formula for the Degree of a C ??? Map Germ, The Annals of Mathematics, vol.106, issue.1, pp.19-44, 1977. ,
DOI : 10.2307/1971156
Geometric constraint solver using multivariate rational spline functions, Proceedings of the sixth ACM symposium on Solid modeling and applications , SMA '01, pp.1-10, 2001. ,
DOI : 10.1145/376957.376958
Introduction à la résolution des systèmes d'équations algébriques, of Mathématiques et Applications, pp.45-56, 2007. ,
Yet another algorithm for generalized Vorono?? Diagrams, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2011. ,
DOI : 10.1145/2245276.2245299
Sparse Elimination and Applications in Kinematics, 1994. ,
The predicates of the Apollonius diagram: Algorithmic analysis and implementation, Computational Geometry, vol.33, issue.1-2, pp.18-57, 2006. ,
DOI : 10.1016/j.comgeo.2004.02.006
Multihomogeneous resultant formulae for systems with scaled support, ISSAC '09: Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pp.143-150, 2009. ,
Matrices in Elimination Theory, Journal of Symbolic Computation, vol.28, issue.1-2, pp.3-43, 1999. ,
DOI : 10.1006/jsco.1998.0266
Real Algebraic Numbers: Complexity Analysis and Experimentation, Reliable Implementations of Real Number Algorithms: Theory and Practice, pp.57-82 ,
DOI : 10.1007/978-3-540-85521-7_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.9180
The DMM bound, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.243-250, 2010. ,
DOI : 10.1145/1837934.1837981
URL : https://hal.archives-ouvertes.fr/inria-00393833
Exact Delaunay graph of smooth convex pseudo-circles, 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling on, SPM '09, pp.211-222, 2009. ,
DOI : 10.1145/1629255.1629282
Curves and surfaces for CAGD: a practical guide, pp.66-92, 2002. ,
A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials, Global Optimization and Constraint Satisfaction, pp.364-364, 2005. ,
DOI : 10.1007/11425076_6
Investigation of a subdivision based algorithm for solving systems of polynomial equations, Nonlinear Analysis: Theory, Methods & Applications, vol.47, issue.1, pp.167-178, 2001. ,
DOI : 10.1016/S0362-546X(01)00166-3
On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One, Foundations of Computational Mathematics, vol.7, issue.1, pp.1-58, 2007. ,
DOI : 10.1007/s10208-004-0159-5
URL : https://hal.archives-ouvertes.fr/hal-00186739
Curves and surfaces represented by polynomial support functions, Theoretical Computer Science, vol.392, pp.141-157, 2008. ,
Triangulation of subanalytic sets and proper light subanalytic maps, Inventiones Mathematicae, vol.2, issue.no. 4, pp.207-21777, 1976. ,
DOI : 10.1007/BF01403128
Experimental evaluation and cross-benchmarking of univariate real solvers, Proceedings of the 2009 conference on Symbolic numeric computation, SNC '09, pp.45-54, 2009. ,
DOI : 10.1145/1577190.1577202
URL : https://hal.archives-ouvertes.fr/inria-00340887
GloptiPoly 3: moments, optimization and semidefinite programming. Optimization Methods and Software, Rapport LAAS, vol.24, issue.4, pp.761-779, 2009. ,
DOI : 10.1080/10556780802699201
URL : https://hal.archives-ouvertes.fr/hal-00172442
Triangulations of algebraic sets, Algebraic geometry (Proc. Sympos. Pure Math, pp.165-185, 1974. ,
DOI : 10.1090/pspum/029/0374131
GENOM3CK -A Library for Genus Computation of Plane Complex Algebraic Curves Using Knot Theory, ACM SIGSAM Communications in Computer Algebra, vol.44, issue.174, pp.198-2001932, 2010. ,
An Adapted Version of the Bentley-Ottmann Algorithm for Invariants of Plane Curves Singularities, Proceedings of the 11th International Conference on Computational Science and Its Applications, Part III, Session: Computational Geometry and Applications, pp.121-131 ,
DOI : 10.1007/978-3-540-72185-7_11
URL : https://hal.archives-ouvertes.fr/hal-00646566
A regularization method for computing approximate invariants of plane curves singularities, Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation, SNC '11, p.2011 ,
DOI : 10.1145/2331684.2331692
A more complete interval arithmetic. Lecture notes for a summer course at the University of Michigan, 1968. ,
The local degree of a smooth mapping, Sakharth. SSR Mecn. Akad. Moambe, vol.85, issue.2, pp.309-312, 1977. ,
Algebraic algorithms for polynomial system solving and applications, 2010. ,
Newton-algorithms for evaluation of roots with error bounds, Computing, vol.47, issue.3, pp.187-201, 1969. ,
DOI : 10.1007/BF02234767
Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation, Proceedings of the nineteenth conference on Computational geometry , SCG '03, pp.191-200, 2003. ,
DOI : 10.1145/777792.777822
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.376
Moments, Positive Polynomials and their Applications, volume 1 of Optimization Series, 2009. ,
Quadratic Newton Iteration for Systems with Multiplicity, Foundations of Computational Mathematics, vol.2, issue.3, pp.247-293, 2002. ,
DOI : 10.1007/s102080010026
URL : https://hal.archives-ouvertes.fr/hal-00186730
Sur les lois de probabilitié dont dependent les quotients complets et incomplets d' une fraction continue, Bull. Soc. Math, vol.57, pp.178-194, 1929. ,
Newton's method with deflation for isolated singularities of polynomial systems, Theoretical Computer Science, vol.359, issue.1-3, pp.111-122, 2006. ,
DOI : 10.1016/j.tcs.2006.02.018
Higher-Order Deflation for Polynomial Systems With Isolated Singular Solutions ,
DOI : 10.1007/978-0-387-75155-9_5
Algorithms in Algebraic Geometry, volume 146 of The IMA Volumes in Mathematics and its Applications, pp.79-97, 2008. ,
Subdivision Methods for the Topology of 2d and 3d Implicit Curves, Geometric Modeling and Algebraic Geometry, pp.199-214, 2008. ,
DOI : 10.1007/978-3-540-72185-7_11
URL : https://hal.archives-ouvertes.fr/inria-00130216
Représentation matricielle implicite de coubres et surface algériques et applications, 2011. ,
The algebraic theory of modular systems, pp.41-46, 1916. ,
A Subdivision Approach to Planar Semi-algebraic Sets, Advances in Geometric Modeling and Processing, pp.104-123, 2010. ,
DOI : 10.1007/978-3-642-13411-1_8
URL : https://hal.archives-ouvertes.fr/inria-00463491
Deflation and certified isolation of singular zeros of polynomial systems, Proceedings of the 36th international symposium on Symbolic and algebraic computation, ISSAC '11, pp.249-256, 2011. ,
DOI : 10.1145/1993886.1993925
URL : https://hal.archives-ouvertes.fr/inria-00556021
Continued fraction expansion of real roots of polynomial systems, Proceedings of the 2009 conference on Symbolic numeric computation, SNC '09, pp.85-94, 2009. ,
DOI : 10.1145/1577190.1577207
URL : https://hal.archives-ouvertes.fr/inria-00387399
On continued fraction expansion of real roots of polynomial systems, complexity and condition numbers, Theoretical Computer Science, vol.412, issue.22, pp.2312-2330, 2011. ,
DOI : 10.1016/j.tcs.2011.01.009
URL : https://hal.archives-ouvertes.fr/inria-00530756
Geometry of Polynomials, 1966. ,
DOI : 10.1090/surv/003
Gröbner duality and multiplicities in polynomial system solving, Proceedings of the 1995 international symposium on Symbolic and algebraic computation, ISSAC '95, pp.167-179, 1995. ,
Faster algorithms for computing Hong???s bound on absolute positiveness, Journal of Symbolic Computation, vol.45, issue.6, pp.677-683, 2010. ,
DOI : 10.1016/j.jsc.2010.02.002
A Test for Existence of Solutions to Nonlinear Systems, SIAM Journal on Numerical Analysis, vol.14, issue.4, pp.611-615, 1977. ,
DOI : 10.1137/0714040
Approche effective de la théorie des invariants des groupes classiques, 1991. ,
Isolated points, duality and residues, Journal of Pure and Applied Algebra, pp.117-118469, 1997. ,
DOI : 10.1016/S0022-4049(97)00023-6
URL : https://hal.archives-ouvertes.fr/inria-00125278
Subdivision methods for solving polynomial equations, Polynomial System Solving in honor of Daniel Lazard, pp.292-306, 2009. ,
DOI : 10.1016/j.jsc.2008.04.016
URL : https://hal.archives-ouvertes.fr/inria-00070350
Bernstein's basis and real root isolation Mathematical Sciences Research Institute Publications, pp.459-478, 2005. ,
Deflation algorithm for the multiple roots of a system of nonlinear equations, Journal of Mathematical Analysis and Applications, vol.96, issue.2, pp.463-479, 1983. ,
DOI : 10.1016/0022-247X(83)90055-0
Solving a Polynomial Equation: Some History and Recent Progress, SIAM Review, vol.39, issue.2, pp.187-220, 1997. ,
DOI : 10.1137/S0036144595288554
Univariate polynomials, Proceedings of the 2001 international symposium on Symbolic and algebraic computation , ISSAC '01, pp.701-733, 2002. ,
DOI : 10.1145/384101.384136
Auto-intersection de surfaces pamatrées réelles, 2004. ,
SLEVEs for planar spline curves, Computer Aided Geometric Design, vol.21, issue.6, pp.615-635, 2004. ,
DOI : 10.1016/j.cagd.2004.04.004
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.6769
Nearest multivariate system with given root multiplicities, Journal of Symbolic Computation, vol.44, issue.6, pp.606-625, 2009. ,
DOI : 10.1016/j.jsc.2008.03.005
URL : http://doi.org/10.1016/j.jsc.2008.03.005
Calcul de développements de Puiseux et application au calcul du groupe de monodrmie d'une courbe algébrique plane, 2008. ,
Best bounds on the approximation of polynomials and splines by their control structure, Computer Aided Geometric Design, vol.17, issue.6, pp.579-589, 2000. ,
DOI : 10.1016/S0167-8396(00)00014-5
Verified error bounds for multiple roots of systems of nonlinear equations, Numerical Algorithms, vol.43, issue.3/4, pp.359-377, 2010. ,
DOI : 10.1007/s11075-009-9339-3
Resolution reelle des systemes polynomiaux en dimension positive, 2001. ,
Testing Sign Conditions on a Multivariate Polynomial and Applications, Mathematics in Computer Science, vol.1, issue.1, pp.177-207, 2007. ,
DOI : 10.1007/s11786-007-0003-9
URL : https://hal.archives-ouvertes.fr/inria-00105835
Voronoi diagram computations for planar NURBS curves, Proceedings of the 2008 ACM symposium on Solid and physical modeling , SPM '08, pp.67-77, 2008. ,
DOI : 10.1145/1364901.1364913
Constructing two-dimensional voronoi diagrams via divide-and-conquer of envelopes in space, Transactions on computational science IX, pp.1-27 ,
Complexity of real root isolation using continued fractions, Theoretical Computer Science, vol.409, issue.2, pp.292-310, 2008. ,
DOI : 10.1016/j.tcs.2008.09.017
URL : https://hal.archives-ouvertes.fr/inria-00190865
Computation of the solutions of nonlinear polynomial systems, Computer Aided Geometric Design, vol.10, issue.5, pp.379-405, 1993. ,
DOI : 10.1016/0167-8396(93)90019-Y
Complexity of bezout's theorem i: Geometric aspects, Journal of the American Mathematical Society, vol.6, issue.24, pp.459-501, 1993. ,
Computing the topological degree of a mapping inR n, Numerische Mathematik, vol.2, issue.1, pp.23-38, 1975. ,
DOI : 10.1007/BF01419526
Analysis of zero clusters in multivariate polynomial systems, Proceedings of the 1996 international symposium on Symbolic and algebraic computation , ISSAC '96, pp.127-136, 1996. ,
DOI : 10.1145/236869.236919
Topological degree and quadratic forms, Journal of Pure and Applied Algebra, vol.141, issue.3, pp.299-314, 1999. ,
DOI : 10.1016/S0022-4049(98)00055-3
URL : http://doi.org/10.1016/s0022-4049(98)00055-3
A Decision Method for Elementary Algebra and Geometry, 1951. ,
DOI : 10.1007/978-3-7091-9459-1_3
Vers une résolution stable et rapide des équations algébriques, 2002. ,
Algebraic algorithms and applications to geometry, 2006. ,
On the complexity of real root isolation using continued fractions, Theoretical Computer Science, vol.392, issue.1-3, pp.158-173, 2008. ,
DOI : 10.1016/j.tcs.2007.10.010
URL : https://hal.archives-ouvertes.fr/inria-00116990
Computational geometry for curved objects Voronoi diagrams in the plane, 2009. ,
Mathemagix, ACM Communications in Computer Algebra, vol.45, issue.3/4, pp.2011-2045 ,
DOI : 10.1145/2110170.2110180
URL : https://hal.archives-ouvertes.fr/hal-00771214
An introduction to continued fractions, Diophantine analysis, pp.99-138, 1986. ,
DOI : 10.1017/CBO9780511721304.007
Fast algorithms for Taylor shifts and certain difference equations, Proceedings of the 1997 international symposium on Symbolic and algebraic computation , ISSAC '97, pp.40-47, 1997. ,
DOI : 10.1145/258726.258745
A short proof and a generalization of Miranda's existence theorem, Proceedings of the American Mathematical Society, vol.107, issue.3, pp.701-703, 1989. ,
Determining singular solutions of polynomial systems via symbolic???numeric reduction to geometric involutive forms, Journal of Symbolic Computation, vol.47, issue.3, pp.104-122, 2008. ,
DOI : 10.1016/j.jsc.2011.10.001
Regular algebraic curve segments (II)???Interpolation and approximation, Computer Aided Geometric Design, vol.17, issue.6, pp.503-519, 2000. ,
DOI : 10.1016/S0167-8396(00)00013-3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.8906
Regular algebraic curve segments (I)???Definitions and characteristics, Computer Aided Geometric Design, vol.17, issue.6, pp.485-501, 2000. ,
DOI : 10.1016/S0167-8396(00)00012-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.1203
Approximating the zeros of analytic functions by the exclusion algorithm, Numerical Algorithms, vol.4, issue.1, pp.63-88, 1994. ,
DOI : 10.1007/BF02149763
Fundamental Problems of Algorithmic Algebra, 2000. ,
Tame geometry with applications in smooth analysis . LNM 1834, 2004. ,
The closedness subspace method for computing the multiplicity structure of a polynomial system, Interactions of Classical and Numerical Algebraic Geometry, pp.347-362, 2009. ,
DOI : 10.1090/conm/496/09733