Numerical verification method for simultaneous linear equations using accurate dot product calculation algorithm Ohta, Takahisa Oishi, Shin’ichi Ogita, Takeshi Rump, Siegfried M. 2004 - TUHH Open Research