Michal Konecný, Sewon Park 0001, Holger Thies. Axiomatic Reals and Certified Efficient Exact Real Computation. In Alexandra Silva 0001, Renata Wassermann, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings. Volume 13038 of Lecture Notes in Computer Science, pages 252-268, Springer, 2021. [doi]
@inproceedings{KonecnyPT21,
title = {Axiomatic Reals and Certified Efficient Exact Real Computation},
author = {Michal Konecný and Sewon Park 0001 and Holger Thies},
year = {2021},
doi = {10.1007/978-3-030-88853-4_16},
url = {https://doi.org/10.1007/978-3-030-88853-4_16},
researchr = {https://researchr.org/publication/KonecnyPT21},
cites = {0},
citedby = {0},
pages = {252-268},
booktitle = {Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
editor = {Alexandra Silva 0001 and Renata Wassermann and Ruy J. G. B. de Queiroz},
volume = {13038},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-88853-4},
}