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