Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations

DOI10.1007/978-3-642-27413-8_25zbMath1351.68300OpenAlexW1587510608MaRDI QIDQ3111691

Stefan Kiel

Publication date: 13 January 2012

Published in: Curves and Surfaces (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27413-8_25

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Data structures (68P05)

Related Items (1)

A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure

Uses Software

• C-XSC 2.0

This page was built for publication: Verified Spatial Subdivision of Implicit Objects Using Implicit Linear Interval Estimations