Efficient Exact Arithmetic over Constructive Reals
From MaRDI portal
Publication:5425455
DOI10.1007/978-3-540-72504-6_40zbMath1198.03046OpenAlexW1576684343MaRDI QIDQ5425455
Publication date: 13 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00517598/file/YongLi2007a.pdf
Error analysis and interval analysis (65G99) Computation over the reals, computable analysis (03D78)