Certified dense linear system solving

Thom Mulders, Arne Storjohann. Certified dense linear system solving. Journal of Symbolic Computation, 37(4):485-510, 2004. [doi]

Authors

Thom Mulders

This author has not been identified. Look up 'Thom Mulders' in Google

Arne Storjohann

This author has not been identified. Look up 'Arne Storjohann' in Google