This book constitutes the revised papers of the International Seminar on Reliable Implementation of Real Number Algorithms, held at Dagstuhl Castle, Germany, in

This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007.

This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exp

This book constitutes the refereed proceedings of the 12th IMA International Conference on the Mathematics of Surfaces, held in Sheffield, UK in September 2007.

This book constitutes the thoroughly refereed proceedings of the 37th IFSA Conference, NAFIPS 2018, held in Fortaleza, Brazil, in July 2018. The 55 full papers