Yicong Li 0006, Kuanjiu Zhou, Lin Xu, Meiying Wang, Nan Liu. Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers. In Yongxuan Lai, Tian Wang 0001, Min Jiang 0005, Guangquan Xu, Wei Liang 0005, Aniello Castiglione, editors, Algorithms and Architectures for Parallel Processing - 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III. Volume 13157 of Lecture Notes in Computer Science, pages 648-667, Springer, 2021. [doi]
Abstract is missing.