Götz Alefeld | Andreas Frommer | Bruno Lang
Scientific Computing and Validated Numerics
Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN - 95, held in Wuppertal, Germany, September 26-29, 1995