Dr. Takeshi Ogita

Director of the Center for Information Science
and
Associate Professor at Division of Mathematical Sciences,
Tokyo Woman's Christian University
Tokyo, Japan

Visiting Associate Professor at Faculty of Science and Engineering,
Waseda University
Tokyo, Japan

Go to Japanese page
(Caranca valley, France, 2011)


Last Update: Apr. 4, 2014

Office:

Division of Mathematical Sciences
School of Arts and Sciences
Tokyo Woman's Christian University
Bldg. 4, 2F, Room 4206
2-6-1 Zempukuji, Suginami-ku, Tokyo 167-8585, Japan
e-mail: ogita _at_ lab (dot) twcu (dot) ac (dot) jp
and Faculty of Science and Engineering
Waseda University
Bldg. 63, 4F, Room 419 (Oishi lab.)
3-4-1 Okubo, Shinjuku-ku, Tokyo 169-8555, Japan

Recent papers (in English):

  1. A. Minamihata, K. Sekine, T. Ogita, S. Oishi: Fast verified solutions of sparse linear systems with H-matrices, Reliable Computing, 19:2 (2013), 127-141. (Special volume devoted to material presented at SCAN 2012)
  2. K. Ozaki, T. Ogita, S. Oishi, S. M. Rump: Generalization of error-free transformation for matrix multiplication and its application, Nonlinear Theory and Its Applications, IEICE, 4:1 (2013), 2-11.
  3. K. Ozaki, T. Ogita, S. Oishi: A Robust Algorithm for Geometric Predicate by Error-free Determinant Transformation, Information and Computation, 216 (2012), 3-13.
  4. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Fast Algorithms for Floating-point Interval Matrix Multiplication, Journal of Computational and Applied Mathematics, 236:7 (2012), 1795-1814.
  5. J. Sengoku, M. Naito, H. Okamoto, T. Ogita, S. Ichikawa: On the visibility of fast reactions in electrochemical impedance spectroscopy, Chemical Physics Letters, 525-526 (2012), 125-128.
  6. T. Ogita, S. Oishi: Accurate and Robust Inverse Cholesky Factorization, Nonlinear Theory and Its Applications, IEICE, 3:1 (2012), 103-111.
  7. T. Ogita: Accurate and Verified Numerical Computation of the Matrix Determinant, International Journal of Reliability and Safety, 6:1-3 (2012), 242-254. (Special Issue based on REC2010)
  8. K. Ozaki, T. Ogita, S. Oishi, S. M. Rump: Error-Free Transformation of Matrix Multiplication by Using Fast Routines of Matrix Multiplication and its Applications, Numerical Algorithms, 59:1 (2012), 95-118.
  9. N. Yamanaka, M. Kashiwagi, S. Oishi, T. Ogita: A Note on a Verified Automatic Integration Algorithm, Reliable Computing, 15:2 (2011), 156-167. (Special volume devoted to material presented at SCAN 2008)
  10. K. Ozaki, T. Ogita, S. Oishi: An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, Numerical Algorithms, 56:3 (2011), 363-382.
  11. K. Ozaki, T. Ogita, S. Oishi: Tight and Efficient Enclosure of Matrix Multiplication by Using Optimized BLAS, Numerical Linear Algebra with Applications, 18:2 (2011), 237-248. (Special Issue on Matrix Computation and Nonlinear Equations)
  12. N. Yamanaka, T. Okayama, S. Oishi, T. Ogita: A Fast Verified Automatic Integration Algorithm Using Double Exponential Formula, Nonlinear Theory and Its Applications, IEICE, 1:1 (2010), 119-132.
  13. S. M. Rump, T. Ogita, S. Oishi: Fast High Precision Summation, Nonlinear Theory and Its Applications, IEICE, 1:1 (2010), 2-24.
  14. T. Ogita: Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations, SIAM Journal on Matrix Analysis and Applications, 31:5 (2010), 2477-2497.
  15. S. Miyajima, T. Ogita, S. M. Rump, S. Oishi: Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem, Reliable Computing, 14 (2010), 24-45.
  16. T. Ogita, S. Oishi: Fast Verified Solutions of Linear Systems, Japan J. Indust. Appl. Math., 26:2 (2009), 169-190.
  17. S. Oishi, T. Ogita, S. M. Rump: Iterative Refinement for Ill-Conditioned Linear Systems, Japan J. Indust. Appl. Math., 26:2 (2009), 465-476.
  18. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Adaptive and Efficient Algorithm for 2D Orientation Problem, Japan J. Indust. Appl. Math., 26:2 (2009), 215-231.
  19. T. Ogita, S. Oishi: Tight Enclosures of Solutions of Linear Systems, International Series of Numerical Mathematics, 157 (2009), 167-178. (Inequalities and Applications, C. Bandle, A. Gilányi, L. Losonczi, Z. Páles, M. Plum eds., Birkhäuser Verlag)
  20. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-Point Summation Part II: Sign, K-fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing, 31:2 (2008), 1269-1302.
  21. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, 31:1 (2008), 189-224.
  22. N. Yamanaka, T. Ogita, S. M. Rump, S. Oishi: A Parallel Algorithm for Accurate Dot Product, Parallel Computing, 34:6-8 (2008), 392-410.
  23. S. Oishi, K. Tanabe, T. Ogita, S. M. Rump: Convergence of Rump's Method for Inverting Arbitrarily Ill-conditioned Matrices, J. Comput. Appl. Math., 205:1 (2007), 533-544.
  24. S. M. Rump, T. Ogita: Super-fast Validated Solution of Linear Systems, J. Comput. Appl. Math., 199:2 (2007), 199-206. (Special Issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004))
  25. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump: A Method of Obtaining Verified Solutions for Linear Systems Suited for Java, J. Comput. Appl. Math., 199:2 (2007), 337-344. (Special Issue on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004))
  26. T. Ogita, S. M. Rump, S. Oishi: Accurate Sum and Dot Product, SIAM J. Sci. Comput., 26:6 (2005), 1955-1988.
  27. T. Ogita, S. Oishi: Fast Inclusion of Interval Matrix Multiplication, Reliable Computing, 11:3 (2005), 191-205.
  28. S. Miyajima, T. Ogita, S. Oishi: Fast Verification for Respective Eigenvalues of Symmetric Matrix, Lecture Notes in Computer Science, 3718 (2005), 306-317. (Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, V.G. Ganzha, E.W. Mayr, and E.V. Vorozhtsov eds., Springer-Verlag, Berlin/Heidelberg)
  29. T. Ogita, S. Oishi, Y. Ushiro: Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations, Reliable Computing, 9:3 (2003), 229-239.
  30. T. Ogita, S. Oishi, Y. Ushiro: Fast Inclusion and Residual Iteration for Solutions of Matrix Equations, Computing, Suppl. 16 (2002), 171-184. (Inclusion Methods for Nonlinear Problems: With Applications in Engineering, Economics and Physics, J. Herzberger ed., Springer WienNewYork, Austria)
  31. T. Ogita, S. Oishi, Y. Ushiro: Fast Verification of Solutions for Sparse Monotone Matrix Equations, Computing, Suppl. 15 (2001), 175-187. (Topics in Numerical Analysis: With Special Emphasis on Nonlinear Problems, G. Alefeld and X. Chen eds., Springer WienNewYork, Austria)

Translated papers (in Japanese):

  1. Siegfried M. Rump (translated by T. Ogita): Computer-Assisted Proofs II, Bulletin of the JSIAM, 14:4 (2004), 346-359.
  2. Siegfried M. Rump (translated by T. Ogita): Computer-Assisted Proofs I, Bulletin of the JSIAM, 14:3 (2004), 214-223.

Conference papers:

  1. T. Ogita: Accurate Matrix Singular Values, Proceedings of 2010 International Symposium on Nonlinear Theory and its Applications (NOLTA2010), Krakow, Poland, 140-143.
  2. K. Ozaki, T. Ogita, S. Oishi: Condition Numbers of Two-Dimensional Orientation Problem, Proceedings of 2010 International Symposium on Nonlinear Theory and its Applications (NOLTA2010), Krakow, Poland, 144-148.
  3. T. Ogita: Robust Computation of Determinant, Proceedings of ICCMSE'09, to appear.
  4. T. Ogita, S. Oishi: Accurate and Robust Inverse Cholesky Factorization, Proceedings of 2009 International Symposium on Nonlinear Theory and its Applications, Sapporo, Japan, 2009, 155-158.
  5. S. Oishi, T. Ogita, S. M. Rump: Iterative Refinement for Ill-Conditioned Linear Equations, Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications, Budapest, Republic of Hungary, 2008, 516-519.
  6. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Accurate Matrix Multiplication by Using Level 3 BLAS Operation, Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications, Budapest, Republic of Hungary, 2008, 508-511.
  7. N. Yamanaka, T. Ogita, M. Kashiwagi, S. Oishi: Fast Verified Automatic Integration Algorithm Using Complex Analysis, Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications, Budapest, Republic of Hungary, 2008, 512-515.
  8. T. Nishi, T. Ogita, S. Oishi, S. M. Rump: A Method for the Generation of a Class of Ill-Conditioned Matrices, Proceedings of 2008 International Symposium on Nonlinear Theory and its Applications, Budapest, Republic of Hungary, 2008, 53-56.
  9. T. Nishi, Y. Nakaya, T. Ogita, S. Oishi: A Class of Ill-conditioned Nonlinear Algebraic Equations, Proceedings of 2007 International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, 2007, 172-175.
  10. T. Ogita, S. Oishi: Tight Error Bounds for Approximate Solutions of Linear Systems, Proceedings of 2007 International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, 2007, 345-348.
  11. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Accurate Matrix Multiplication with Multiple Floating-point Numbers, Proceedings of 2007 International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, 2007, 337-340.
  12. T. Ogita, S. Oishi: Tight Enclosures of Solutions of Linear Systems, Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006, Crete, Greece, Wiley-VCH Verlag, 516-519.
  13. S. Oishi, T. Ogita, S. M. Rump: Numerical verification for solutions of finite dimensional sparse linear equations using iterative methods, Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006, Crete, Greece, Wiley-VCH Verlag, 520-523.
  14. S. Oishi, T. Ogita, S. M. Rump, K. Tanabe: Accurate Cholesky Algorithm and Detection of Positive Definiteness of Ill-Conditioned Matrices, Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006, Crete, Greece, Wiley-VCH Verlag, 531-534.
  15. T. Ogita, S. Oishi: Fast Verification for Sparse Linear Systems with Generalized Diagonally Dominant Matrices, Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications, Bologna, Italy, 2006, 319-321.
  16. S. Oishi, K. Tanabe, T. Ogita, S. M. Rump: Convergence Theorem of Rump's Method for Inverting Arbitrarily Ill-Conditioned Matrices, Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications, Bologna, Italy, 2006, 315-318.
  17. K. Ozaki, T. Ogita, S. Oishi: Adaptive Verification Method for Dense Linear Systems, Proceedings of 2006 International Symposium on Nonlinear Theory and its Applications, Bologna, Italy, 2006, 323-326.
  18. T. Ohta, T. Ogita, S. M. Rump and S. Oishi: Numerical Verification Method for Dense Linear Systems with Arbitrarily Ill-conditioned Matrices, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications, Bruges, Belgium, 2005, 745-748.
  19. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump: Componentwise Verified Solutions of Linear Systems Suited for Java, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications, Bruges, Belgium, 2005, 749-752.
  20. S. Miyajima, T. Ogita, S. Oishi: A Method of Generating Linear Systems with an Arbitrarily Ill-conditioned Matrix and an Arbitrary Solution, Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications, Bruges, Belgium, 2005, 741-744.
  21. S. Miyajima, T. Ogita, K. Ozaki, S. Oishi: Fast Error Estimation for Eigenvalues of Symmetric Matrix without Directed Rounding, Proceedings of the 2004 International Symposium on Nonlinear Theory and its Applications, Fukuoka, Japan, 2004, 167-170.
  22. T. Ogita, S. M. Rump, S. Oishi: Accurate Sum and Dot Product with Applications, Proceedings of the 2004 IEEE International Symposium on Computer Aided Control Systems Design, Taipei, Taiwan, 2004, 152-155.
  23. T. Ogita, S. Oishi, Y. Ushiro: Fast Verification of Solutions for Sparse Monotone Matrix Equations, Proceedings of the JSST 2000 International Conference on Modeling, Control and Computation in Simulation, Tokyo, Japan, 2000, 437-440.

Technical reports and others:

  1. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-Point Summation Part II: Sign, K-fold Faithful and Rounding to Nearest, Technical Report 07.2, Faculty for Information and Communication Sciences, Hamburg University of Technology, 2007.
  2. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-Point Summation Part I: Faithful Rounding, Technical Report 07.1, Faculty for Information and Communication Sciences, Hamburg University of Technology, 2007.
  3. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-point Summation, Technical Report 05.12, Faculty for Information- and Communication Sciences, Hamburg University of Technology, 2005.
  4. T. Ogita, S. M. Rump, S. Oishi: Verified Solutions of Linear Systems without Directed Rounding, Technical Report 2005-04, Advanced Research Institute for Science and Engineering, Waseda University, 2005.
  5. T. Ogita, S. M. Rump, S. Oishi: Accurate Sum and Dot Product, Faculty for Information and Communication Sciences, 04.1, Hamburg University of Technology, 2004.

Awards:


Links: