Verified solutions of extremely Ill-conditioned linear systems Ohta, Takahisa Oishi, Shin’ichi Ogita, Takeshi Rump, Siegfried M. 2005 - TUHH Open Research
Numerical verification method for arbitrarily Ill-conditioned linear systems Ohta, Takahisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2005 - TUHH Open Research
Numerical method for dense linear systems with arbitrariliy Ill-conditioned matrices Ohta, Takahisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2005 - TUHH Open Research
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