Neil F. Stewart, Malika Zidani. Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling. In Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Volume 5045 of Lecture Notes in Computer Science, pages 181-192, Springer, 2008. [doi]
Abstract is missing.