Scientific Computing and Validated Numerics: Proceedings of the International Symposium on Scientific Computing, Computer Arithmetic and Validated ... sept (Mathematical Research, Band 90)
von: Andreas Frommer · Bruno Lang · Computer Arithmetic International Symposium on Scientific Computing