Topology and arrangement computation of semi-algebraic planar curves

L Alberti, B Mourrain, J Wintz - Computer Aided Geometric Design, 2008 - Elsevier
We describe a new subdivision method to efficiently compute the topology and the
arrangement of implicit planar curves. We emphasize that the output topology and …

Complete numerical isolation of real zeros in zero-dimensional triangular systems

JS Cheng, XS Gao, CK Yap - … of the 2007 international symposium on …, 2007 - dl.acm.org
We present a complete numerical algorithm of isolating all the real zeros of a zero-
dimensional triangular polynomial system F n Z [x 1…, xn]. Our system F n is general, with …

Cell decomposition of almost smooth real algebraic surfaces

GM Besana, S Di Rocco, JD Hauenstein… - Numerical …, 2013 - Springer
Let Z be a two dimensional irreducible complex component of the solution set of a system of
polynomial equations with real coefficients in N complex variables. This work presents a …

Root isolation of zero-dimensional polynomial systems with linear univariate representation

JS Cheng, XS Gao, L Guo - Journal of Symbolic Computation, 2012 - Elsevier
In this paper, a linear univariate representation for the roots of a zero-dimensional
polynomial equation system is presented, where the complex roots of the polynomial system …

Topology of real algebraic space curves

M El Kahoui - Journal of Symbolic Computation, 2008 - Elsevier
In this paper we give a new projection-based algorithm for computing the topology of a real
algebraic space curve given implicitly by a set of equations. Under some genericity …

An efficient algorithm for the stratification and triangulation of an algebraic surface

E Berberich, M Kerber, M Sagraloff - Computational Geometry, 2010 - Elsevier
We present a method to compute the exact topology of a real algebraic surface S, implicitly
given by a polynomial f∈ Q [x, y, z] of arbitrary total degree N. Additionally, our analysis …

A delineability-based method for computing critical sets of algebraic surfaces

JG Alcazar, J Schicho, JR Sendra - Journal of Symbolic Computation, 2007 - Elsevier
In this paper, we address the problem of determining a real finite set of z-values where the
topology type of the level curves of a (maybe singular) algebraic surface may change. We …

Visualisation of implicit algebraic curves

L Alberti, B Mourrain - 15th Pacific Conference on Computer …, 2007 - ieeexplore.ieee.org
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates
the singular points, compute the topological degree around these points in order to check …

Exact geometric-topological analysis of algebraic surfaces

E Berberich, M Kerber, M Sagraloff - Proceedings of the twenty-fourth …, 2008 - dl.acm.org
We present a method to compute the exact topology of a real algebraic surface S, implicitly
given by a polynomial f∈ Q [x; y; z] of arbitrary degree N. Additionally, our analysis provides …

Isotopic epsilon-meshing of real algebraic space curves

K Jin, JS Cheng - Proceedings of the 2014 Symposium on Symbolic …, 2014 - dl.acm.org
Based on an efficient generic position checking method and on a method to solve bivariate
polynomial systems, we give a new algorithm to compute the topology of an algebraic space …