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]
Abstract is missing.