-
On the componentwise accuracy of complex floating-point division with an FMA
International audience -
Improved error bounds for inner products in floating-point arithmetic
International audience -
Improved backward error bounds for LU and Cholesky factorizations
International audience -
Trusting computations: a mechanized proof from partial differential equations...
International audience
