In this book, I wrote Chapter 10, Section 3, which summarizes recent research results in guaranteed-precision numerical computation. Applications in high performance computing environment are described.
Edited by Shin'ichi Oishi, co-authored by 9 others, and Yusuke Morikura