Erscheinungsjahr 2020 2 2016 1 2015 2 2013 2 2012 1 2011 2 2010 4 2009 3 2008 7 2007 1 2006 3 2005 6 2004 3 2002 1 alle zeigenListe einklappen
Autor/in Oishi, Shin’ichi Rump, Siegfried M. 36 Ogita, Takeshi 31 Ozaki, Katsuhisa 11 Nishi, Tetsuo 4 Ohta, Takahisa 4 Miyajima, Shinya 3 Bünger, Florian 2 Lange, Marko 1 Minamihata, Atsushi 1 Morikura, Yusuke 1 Tanabe, Kunio 1 Yamanaka, Naoya 1 alle zeigenListe einklappen
Accurate floating-point summation part II: Sign. Κ-Fold faithful and rounding to nearest Rump, Siegfried M. Ogita, Takeshi Oishi, Shin’ichi 2008 - TUHH Open Research
Accurate floating-point summation part I: Faithful rounding Rump, Siegfried M. Ogita, Takeshi Oishi, Shin’ichi 2008 - TUHH Open Research
Accurate matrix multiplication by using level 3 BLAS operation Ozaki, Katsuhisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2008 - TUHH Open Research
Verification of positive definiteness for large sparse matrices Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2008 - TUHH Open Research
Accurate matrix multiplication with multiple floating-point numbers Ozaki, Katsuhisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2007 - TUHH Open Research
Fast and robust algorithm for geometric predicates using floating-point arithmetic Ozaki, Katsuhisa Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2006 - TUHH Open Research
Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices Oishi, Shin’ichi Tanabe, Kunio Ogita, Takeshi Rump, Siegfried M. 2006 - TUHH Open Research
A method of obtaining verified solutions for linear systems suited for Java Ozaki, Katsuhisa Ogita, Takeshi Miyajima, Shinya Oishi, Shin’ichi Rump, Siegfried M. 2006 - TUHH Open Research
Accurate sum and dot product Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2005 - TUHH Open Research
Verified solution of linear systems without directed rounding Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 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
Verified solutions of extremely Ill-conditioned linear systems Ohta, Takahisa Oishi, Shin’ichi Ogita, Takeshi Rump, Siegfried M. 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
Componentwise verified solutions of linear system suited for Java Ozaki, Katsuhisa Ogita, Takeshi Miyajima, Shinya Oishi, Shin’ichi Rump, Siegfried M. 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
Accurate sum and dot product Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2004 - TUHH Open Research
Accurate sum and dot product with applications Ogita, Takeshi Rump, Siegfried M. Oishi, Shin’ichi 2004 - TUHH Open Research
Fast verification of solutions of matrix equations Oishi, Shin’ichi Rump, Siegfried M. 2002 - TUHH Open Research