Exact real arithmetic with perturbation analysis and proof of correctness

J.F. Groote; S. Keshishzadeh

Exact real arithmetic with perturbation analysis and proof of correctness

J.F. Groote, S. Keshishzadeh

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal
Pages	24-26
Publication status	Published - 2016

Cite this

@inproceedings{014eac0cb3004b3d9ec885a2eb545f90,

title = "Exact real arithmetic with perturbation analysis and proof of correctness",

author = "J.F. Groote and S. Keshishzadeh",

year = "2016",

language = "English",

pages = "24--26",

booktitle = "Proceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal",

}

Exact real arithmetic with perturbation analysis and proof of correctness. / Groote, J.F.; Keshishzadeh, S.

Proceedings Thirteenth International Conference on Computability and Complexity in Analysis (CCA 2016), 15-17 June 2016, Faro, Portugal. 2016. p. 24-26.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review