Evgenija D. Popova. Mathematica Connectivity to Interval Libraries filib++ and C-XSC. In Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein, editors, Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Volume 5492 of Lecture Notes in Computer Science, pages 117-132, Springer, 2008. [doi]
Abstract is missing.