Results 1  10
of
43
A Separation Bound for Real Algebraic Expressions
 In Lecture Notes in Computer Science
, 2001
"... Real algebraic expressions are expressions whose leaves are integers and whose internal nodes are additions, subtractions, multiplications, divisions, kth root operations for integral k, and taking roots of polynomials whose coefficients are given by the values of subexpressions. We consider the si ..."
Abstract

Cited by 38 (4 self)
 Add to MetaCart
Real algebraic expressions are expressions whose leaves are integers and whose internal nodes are additions, subtractions, multiplications, divisions, kth root operations for integral k, and taking roots of polynomials whose coefficients are given by the values of subexpressions. We consider the sign computation of real algebraic expressions, a task vital for the implementation of geometric algorithms. We prove a new separation bound for real algebraic expressions and compare it analytically and experimentally with previous bounds. The bound is used in the sign test of the number type leda real. 1
Highlevel filtering for arrangements of conic arcs
 In Proc. ESA 2002
, 2002
"... Abstract. Many computational geometry algorithms involve the construction and maintenance of planar arrangements of conic arcs. Implementing a general, robust arrangement package for conic arcs handles most practical cases of planar arrangements covered in literature. A possible approach for impleme ..."
Abstract

Cited by 33 (9 self)
 Add to MetaCart
Abstract. Many computational geometry algorithms involve the construction and maintenance of planar arrangements of conic arcs. Implementing a general, robust arrangement package for conic arcs handles most practical cases of planar arrangements covered in literature. A possible approach for implementing robust geometric algorithms is to use exact algebraic number types — yet this may lead to a very slow, inefficient program. In this paper we suggest a simple technique for filtering the computations involved in the arrangement construction: when constructing an arrangement vertex, we keep track of the steps that lead to its construction and the equations we need to solve to obtain its coordinates. This construction history can be used for answering predicates very efficiently, compared to a naïve implementation with an exact number type. Furthermore, using this representation most arrangement vertices may be computed approximately at first and can be refined later on in cases of ambiguity. Since such cases are relatively rare, the resulting implementation is both efficient and robust. 1
Advanced programming techniques applied to Cgal’s arrangement package
 Computational Geometry: Theory and Applications
, 2005
"... Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has been redesigned and reimplemented exploiting several advanced programming techniques. The resulting software package, whi ..."
Abstract

Cited by 31 (15 self)
 Add to MetaCart
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has been redesigned and reimplemented exploiting several advanced programming techniques. The resulting software package, which constructs and maintains planar arrangements, is easier to use, to extend, and to adapt to a variety of applications. It is more efficient space and timewise, and more robust. The implementation is complete in the sense that it handles degenerate input, and it produces exact results. In this paper we describe how various programming techniques were used to accomplish specific tasks within the context of computational geometry in general and Arrangements in particular. These tasks are exemplified by several applications, whose robust implementation is based on the arrangement package. Together with a set of benchmarks they assured the successful application of the adverted programming techniques. 1
Exacus: Efficient and exact algorithms for curves and surfaces
 IN ESA, VOLUME 1669 OF LNCS
, 2005
"... We present the first release of the EXACUS C++ libraries. We aim for systematic support of nonlinear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design, modularity, flexibility, and ease of use. We present the generic design and structure of ..."
Abstract

Cited by 30 (12 self)
 Add to MetaCart
We present the first release of the EXACUS C++ libraries. We aim for systematic support of nonlinear geometry in software libraries. Our goals are efficiency, correctness, completeness, clarity of the design, modularity, flexibility, and ease of use. We present the generic design and structure of the libraries, which currently compute arrangements of curves and curve segments of low algebraic degree, and boolean operations on polygons bounded by such segments.
Real Algebraic Numbers: Complexity Analysis and Experimentation
 RELIABLE IMPLEMENTATIONS OF REAL NUMBER ALGORITHMS: THEORY AND PRACTICE, LNCS (TO APPEAR
, 2006
"... We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size ≤ τ, using Sturm (Habicht) sequences and the Bernstein subdivision solver. In particular, we unify and simplify the analysis of both metho ..."
Abstract

Cited by 30 (17 self)
 Add to MetaCart
We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size ≤ τ, using Sturm (Habicht) sequences and the Bernstein subdivision solver. In particular, we unify and simplify the analysis of both methods and we give an asymptotic complexity bound of eOB(d 4 τ 2). This matches the best known bounds for binary subdivision solvers. Moreover, we generalize this to cover the non squarefree polynomials and show that within the same complexity we can also compute the multiplicities of the roots. We also consider algorithms for sign evaluation, comparison of real algebraic numbers and simultaneous inequalities, and we improve the known bounds at least by a factor of d. Finally, we present our C++ implementation in synaps and some preliminary experiments on various data sets.
Esolid  a system for exact boundary evaluation
 ComputerAided Design
, 2002
"... We present a system, ESOLID, that performs exact boundary evaluation of lowdegree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using exact representations and exact computations throughout. The demands of exact computation require a different set of algor ..."
Abstract

Cited by 23 (2 self)
 Add to MetaCart
We present a system, ESOLID, that performs exact boundary evaluation of lowdegree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using exact representations and exact computations throughout. The demands of exact computation require a different set of algorithms and efficiency improvements than those found in a traditional inexact floating point based modeler. We describe the system architecture, representations, and issues in implementing the algorithms. We also describe a number of techniques that increase the efficiency of the system based on lazy evaluation, use of floating point filters, arbitrary floating point arithmetic with error bounds, and lower dimensional formulation of subproblems. ESOLID has been used for boundary evaluation of many complex solids. These include both synthetic datasets and parts of a Bradley Fighting Vehicle designed using the BRLCAD solid modeling system. It is shown that ESOLID can correctly evaluate the boundary of solids that are very hard to compute using a fixedprecision floating point modeler. In terms of performance, it is about an order of magnitude slower as compared to a floating point boundary evaluation system on most cases. 1
Efficient Exact Geometric Computation Made Easy
, 1999
"... We show that the combination of the Cgal framework for geometric computation and the number type leda_real yields easytowrite, correct and efficient geometric programs. ..."
Abstract

Cited by 21 (5 self)
 Add to MetaCart
We show that the combination of the Cgal framework for geometric computation and the number type leda_real yields easytowrite, correct and efficient geometric programs.
Recent Progress in Exact Geometric Computation
 English Today
, 2001
"... Computational geometry has produced an impressive wealth of efficient algorithms. ..."
Abstract

Cited by 19 (6 self)
 Add to MetaCart
Computational geometry has produced an impressive wealth of efficient algorithms.
Precise: Efficient multiprecision evaluation of algebraic roots and predicates for reliable geometric computation
, 2000
"... Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of nonlinear algebraic primitives like curves and surfaces. The algorithms designed for these problems make decisions based on signs of geometric predicat ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
Many geometric problems like generalized Voronoi diagrams, medial axis computations and boundary evaluation involve computation and manipulation of nonlinear algebraic primitives like curves and surfaces. The algorithms designed for these problems make decisions based on signs of geometric predicates or on the roots of polynomials characterizing the problem. The reliability of the algorithm depends on the accurate evaluation of these signs and roots. In this paper, we present a naive precisiondriven computational model to perform these computations reliably and demonstrate its effectiveness on a certain class of problems like sign of determinants with rational entries, boundary evaluation and curve arrangements. We also present a novel algorithm to compute all the roots of a univariate polynomial to any desired accuracy. The computational model along with the underlying number representation, precisiondriven arithmetic and all the algorithms are implemented as part of a standalone software library, PRECISE. 1.