The following pages link to (Q4336067):
Displaying 8 items.
- Two design principles of geometric algorithms in finite-precision arithmetic (Q749243) (← links)
- Implementing straight skeletons with exact arithmetic: challenges and experiences (Q1984615) (← links)
- Numerical Software with Result Verification (Q5308349) (← links)
- Formally certified floating-point filters for homogeneous geometric predicates (Q5444102) (← links)
- Weak Rational Computing for Digital Geometry (Q5458870) (← links)
- Controlled Perturbation for Certified Geometric Computing with Fixed-Precision Arithmetic (Q5747867) (← links)
- The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra (Q5747872) (← links)
- A Provably Robust Algorithm for Triangle-triangle Intersections in Floating-point Arithmetic (Q5883709) (← links)