Synthesis of Rigorous Floating-Point Predicates

DOI10.1007/978-3-031-15077-7_3zbMath1514.6804MaRDI QIDQ6487299

Unnamed Author, Ben Jones, Thanh-Son Nguyen

Publication date: 7 December 2022

Mathematics Subject Classification ID

Roundoff error (65G50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• Future paths for integer programming and links to artificial intelligence
• A floating-point technique for extending the available precision
• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
• Automatic generation of staged geometric predicates
• Sound compilation of reals
• Interval arithmetic yields efficient dynamic filters for computational geometry

This page was built for publication: Synthesis of Rigorous Floating-Point Predicates