Thom Mulders Arne Storjohann Certified dense linear system solving. 485-510 2004 37 J. Symb. Comput. 4 http://dx.doi.org/10.1016/j.jsc.2003.07.004 db/journals/jsc/jsc37.html#MuldersS04