@inproceedings{0c95d28544de4b1996fab6c4b75e0838,
title = "A Cross-Platform Benchmark for Interval Computation Libraries",
abstract = "Interval computation is widely used in Computer Aided Design to certify computations that use floating point operations to avoid pitfalls related to rounding error introduced by inaccurate operations. Despite its popularity and practical benefits, support for interval arithmetic is not standardized nor available in mainstream programming languages. We propose the first benchmark for interval computations, coupled with reference solutions computed with exact arithmetic, and compare popular C and C++ libraries over different architectures, operating systems, and compilers. The benchmark allows identifying limitations in existing implementations, and provides a reliable guide on which library to use on each system for different CAD applications. We believe that our benchmark will be useful for developers of future interval libraries, as a way to test the correctness and performance of their algorithms.",
keywords = "Benchmark, Certified Computations, Collision Detection, Interval Arithmetic, Open-Source Library, Robust Computation, Transcendental Functions",
author = "Xuan Tang and Zachary Ferguson and Teseo Schneider and Denis Zorin and Shoaib Kamil and Daniele Panozzo",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022 ; Conference date: 11-09-2022 Through 14-09-2022",
year = "2023",
doi = "10.1007/978-3-031-30445-3_35",
language = "English (US)",
isbn = "9783031304446",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "415--427",
editor = "Roman Wyrzykowski and Jack Dongarra and Ewa Deelman and Konrad Karczewski",
booktitle = "Parallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Revised Selected Papers",
address = "Germany",
}