Interval analysis for computer graphics
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Generative modeling: a symbolic system for geometric modeling
SIGGRAPH '92 Proceedings of the 19th annual conference on Computer graphics and interactive techniques
Efficient topology determination of implicitly defined algebraic plane curves
Computer Aided Geometric Design
On Euclid's algorithm and the computation of polynomial greatest common divisors
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
The calculation of multivariate polynomial resultants
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Polynomial real root isolation using Descarte's rule of signs
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Ten methods to bound multiple roots of polynomials
Journal of Computational and Applied Mathematics
Modern Computer Algebra
Efficient isolation of polynomial's real roots
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Isotopic approximation of implicit curves and surfaces
Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Exact and efficient 2D-arrangements of arbitrary algebraic curves
Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms
Complete subdivision algorithms, II: isotopic meshing of singular algebraic curves
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Topology and arrangement computation of semi-algebraic planar curves
Computer Aided Geometric Design
Root isolation for bivariate polynomial systems with local generic position method
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
An efficient algorithm for the stratification and triangulation of an algebraic surface
Computational Geometry: Theory and Applications
A complete modular resultant algorithm targeted for realization on graphics hardware
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
A generic algebraic kernel for non-linear geometric applications
Proceedings of the twenty-seventh annual symposium on Computational geometry
Modular resultant algorithm for graphics processors
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
A descartes algorithm for polynomials with bit-stream coefficients
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
A worst-case bound for topology computation of algebraic curves
Journal of Symbolic Computation
Homeomorphic approximation of the intersection curve of two rational surfaces
Computer Aided Geometric Design
On the complexity of solving a bivariate polynomial system
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Computing resultants on Graphics Processing Units: Towards GPU-accelerated computer algebra
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition of the plane. Compared to previous approaches, we improve in two main aspects: Firstly, we significantly limit the types of involved exact operations, that is, our algorithms only use resultant and gcd computations as purely symbolic operations. Secondly, we introduce a new hybrid method in the lifting step of our algorithm which combines the use of a certified numerical complex root solver and information derived from the resultant computation. Additionally, we never consider any coordinate transformation and the output is also given with respect to the initial coordinate system. We implemented our algorithm as a prototypical package of the C++-library Cgal. Our implementation exploits graphics hardware to expedite the resultant and gcd computation. We also compared our implementation with the current reference implementation, that is, Cgal's curve analysis and arrangement for algebraic curves. For various series of challenging instances, our experiments show that the new implementation outperforms the existing one.