| Texas A&M University | Department of Computer Science |
|
The goal of this research is to develop algorithms and the library for robust geometric solid modeling. We use exact computation in order to eliminate numerical errors, detect degeneracies with some exact polynomial system solver and remove degeneracies by numerical perturbation.
ESOLIDESOLID, developed primarily at the University of North Carolina, is a geometric solid modeler. ESOLID performs exact boundary evaluation on curved solids. ESOLID assumes that all the solids are in general position. |
MAPC: A library for efficient and exact Manipulation of Algebraic Points and Curves |
ERURERUR is a polynomial system solver. ERUR computes the exact rational univariate representation of a system of polynomial equations with rational coefficients. We have used ERUR to detect degenerate object configurations in boundary evaluation calculations (with ESOLID). |
|
Numerical PerturbationWe are exploring numerical perturbation techniques for the removal of degeneracies in boundary evaluation problems. |
|
Controlled Geometric AccuracyWe are exploring methods for controlling the accuracy of geometric computations to allow user-specified robustness and accuracy. In this vein, we are exploring extending the exact boundary evaluation process to higher degree curves/surfaces. |
This material is based upon work supported by the National Science Foundation under Grant