Exact real arithmetic with perturbation analysis and proof of correctness

J.F. Groote, S. Keshishzadeh

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal
Pages24-26
Publication statusPublished - 2016

Cite this

Groote, J. F., & Keshishzadeh, S. (2016). Exact real arithmetic with perturbation analysis and proof of correctness. In Proceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal (pp. 24-26)