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]
@inproceedings{LiZXWL21,
title = {Ferproof: A Constant Cost Range Proof Suitable for Floating-Point Numbers},
author = {Yicong Li 0006 and Kuanjiu Zhou and Lin Xu and Meiying Wang and Nan Liu},
year = {2021},
doi = {10.1007/978-3-030-95391-1_41},
url = {https://doi.org/10.1007/978-3-030-95391-1_41},
researchr = {https://researchr.org/publication/LiZXWL21},
cites = {0},
citedby = {0},
pages = {648-667},
booktitle = {Algorithms and Architectures for Parallel Processing - 21st International Conference, ICA3PP 2021, Virtual Event, December 3-5, 2021, Proceedings, Part III},
editor = {Yongxuan Lai and Tian Wang 0001 and Min Jiang 0005 and Guangquan Xu and Wei Liang 0005 and Aniello Castiglione},
volume = {13157},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-95391-1},
}