Numerical Software with Result Verification

DOI10.1007/b96498zbMath1126.65312OpenAlexW203078251MaRDI QIDQ5308349

Eva Dyllong, Katja Bühler, Wolfram J. Luther

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96498

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20)

Related Items (2)

Verified convex hull and distance computation for octree-encoded objects ⋮ Delaunay triangulation of imprecise points in linear time after preprocessing

Uses Software

• PROFIL/BIAS

This page was built for publication: Numerical Software with Result Verification