Abstract | ||
---|---|---|
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 use as a fundamental and crucial tool McCallum's theorem on analytic delineability of polynomials (see [McCallum, S., 1998. An improved projection operation for cylindrical algebraic decomposition. In: Caviness, B.F., Johnson, J.R. (Eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer Verlag, pp. 242-268]). Our results allow to algorithmically compute this finite set by analyzing the real roots of a univariate polynomial; namely, the double discriminant of the implicit equation of the surface. As a consequence, an application to offsets is shown. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1016/j.jsc.2007.02.001 | J. Symb. Comput. |
Keywords | DocType | Volume |
analytic delineability,Delineability,finite set,real finite set,double discriminant,algebraic surface,critical set,Topology of surfaces,Quantifier Elimination,Topology of level curves,crucial tool,cylindrical algebraic decomposition,delineability-based method,Level curves,Springer Verlag,real root | Journal | 42 |
Issue | ISSN | Citations |
6 | Journal of Symbolic Computation | 17 |
PageRank | References | Authors |
0.89 | 10 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Juan Gerardo Alcázar | 1 | 42 | 4.47 |
Josef Schicho | 2 | 121 | 21.43 |
Juan Rafael Sendra | 3 | 27 | 1.95 |