Pages that link to "Item:Q5308349"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308349):
Displaying 6 items.
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- Verified convex hull and distance computation for octree-encoded objects (Q861901) (← links)
- Delaunay triangulation of imprecise points in linear time after preprocessing (Q1037646) (← links)
- A Provably Robust Algorithm for Triangle-triangle Intersections in Floating-point Arithmetic (Q5883709) (← links)
- Computing distance using internal axis-aligned bounding-box for nearly intersected objects (Q6051783) (← links)
- Maintaining exact distances under multiple edge failures (Q6083561) (← links)