大石 進一

研究成果

年別の研究成果 1979 1980 1985 1993 1994 2004 2005 2008 2009 2011 2012 2016 2017 2022

• 1239 被引用数
• 16 h-index
• 108 Article
• 7 Conference contribution
• 7 Conference article
• 4 Paper
• 5 その他
  • 2 Chapter
  • 2 Editorial
  • 1 Comment/debate

年別の研究成果

年別の研究成果

検索結果

• Accurate floating-point summation part I: Faithful rounding

  Rump, S. M., Ogita, T. & Oishi, S., 2008, In: SIAM Journal on Scientific Computing. 31, 1, p. 189-224 36 p.

  研究成果: Article › 査読

  • Floating point 100%
  • Rounding 93%
  • Faithful 82%
  • Summation 77%
  • Condition number 27%
  125 被引用数 (Scopus)

• Accurate floating-point summation part II: Sign. Κ-Fold faithful and rounding to nearest

  Rumpt, S. M., Ogita, T. & Oishi, S. N. I., 2008, In: SIAM Journal on Scientific Computing. 31, 2, p. 1269-1302 34 p.

  研究成果: Article › 査読

  • Floating point 100%
  • Rounding 93%
  • Faithful 82%
  • Summation 77%
  • Fold 72%
  56 被引用数 (Scopus)

• Accurate method of verified computing for solutions of semilinear heat equations

  Takayasu, A., Mizuguchi, M., Kubo, T. & Oishi, S., 2017, In: Reliable Computing. 25, p. 74-99 26 p.

  研究成果: Article › 査読

  • Semilinear Heat Equation 100%
  • Hot Temperature 37%
  • Analytic Semigroup 16%
  • Evolution Operator 15%
  • Heat Equation 11%
  4 被引用数 (Scopus)

• Accurate sum and dot product

  Ogita, T., Rump, S. M. & Oishi, S., 2005, In: SIAM Journal on Scientific Computing. 26, 6, p. 1955-1988 34 p.

  研究成果: Article › 査読

  • Scalar, inner or dot product 100%
  • Floating point 65%
  • Summation 50%
  • Mantissa 43%
  • Subtraction 31%
  230 被引用数 (Scopus)

• A constructive approach to the analysis of nonlinear resistive circuits based on the fixed point algorithm theory

  Member, Y. S. R., Oishi, SI., Takase, T. & Members, K. H. R., 1985 6月, In: Electronics and Communications in Japan (Part I: Communications). 68, 6, p. 11-18 8 p.

  研究成果: Article › 査読

  • Networks (circuits) 100%
  • Nonlinear networks 51%
  • Circuit theory 45%

• Adaptive and efficient algorithm for 2D orientation problem

  Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2009 10月, In: Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 215-231 17 p.

  研究成果: Article › 査読

  • Adaptive Algorithm 100%
  • Adaptive algorithms 85%
  • Efficient Algorithms 73%
  • Floating point 53%
  • Summation 41%
  1 被引用数 (Scopus)

• A decomposition method and acceleration techniques for a fixed point algorithm

  Yamamura, K., Oishi, SI. & Horiuchi, K., 1984, In: Electronics and Communications in Japan (Part I: Communications). 67, 10, p. 1-9 9 p.

  研究成果: Article › 査読

  • Decomposition 100%
  • Nonlinear equations 13%
  • Computational efficiency 12%

• Algorithm for finding all solutions of parameter-dependent nonlinear equations with guaranteed accuracy

  Kanzawa, Y., Kashiwagi, M. & Oishi, S., 1999 10月 1, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 82, 10, p. 33-39 7 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  3 被引用数 (Scopus)

• Algorithms for solving systems of nonlinear equations by Kevorkian's decomposition method and their quadratic convergence property

  Yamamura, K., Oishi, SI. & Horiuchi, K., 1983, In: Electronics and Communications in Japan (Part I: Communications). 66, 11, p. 33-41 9 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Decomposition 67%
  • Jacobian matrices 27%

• A mathematical theory for numerical treatment of nonlinear two-point boundary value problems

  Yamamoto, T. & Oishi, S., 2006 2月, In: Japan Journal of Industrial and Applied Mathematics. 23, 1, p. 31-62 32 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Nonlinear Boundary Value Problems 92%
  • Two-point Boundary Value Problem 91%
  • Brouwer's theorem 73%
  • Existence of Solutions 71%
  6 被引用数 (Scopus)

• A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems

  Kobayashi, R., Kimura, T. & Oishi, S., 2017 9月 1, In: Numerical Algorithms. 76, 1, p. 33-51 19 p.

  研究成果: Article › 査読

  • Saddle Point Systems 100%
  • Linear systems 63%
  • Linear Systems 50%
  • Numerical Solution 49%
  • Experiments 25%

• A Method of Analysing Soliton Equations by Bilinearization

  Oishi, S., 1980, In: journal of the physical society of japan. 48, 2, p. 639-646 8 p.

  研究成果: Article › 査読

  • solitary waves 100%
  • spectral methods 25%
  • ripples 22%
  • determinants 22%
  • boundary value problems 20%
  5 被引用数 (Scopus)

• A method of constructing generalized soliton solutions for certain bilinear soliton equations

  Oishi, S., 1979 1月 1, In: journal of the physical society of japan. 47, 4, p. 1341-1346 6 p.

  研究成果: Article › 査読

  • solitary waves 100%
  • difference equations 31%
  • ripples 26%
  • wave equations 23%
  10 被引用数 (Scopus)

• A method of obtaining verified solutions for linear systems suited for Java

  Ozaki, K., Ogita, T., Miyajima, S., Oishi, S. & Rump, S. M., 2007 2月 15, In: Journal of Computational and Applied Mathematics. 199, 2, p. 337-344 8 p.

  研究成果: Article › 査読

  • Java 100%
  • Linear systems 67%
  • Linear Systems 52%
  • Rounding 51%
  • Switches 35%
  6 被引用数 (Scopus)

• A method of proving the existence of simple turning points of two-point boundary value problems based on the numerical computation with guaranteed accuracy

  Soma, T., Oishi, S. N. I., Kanzawa, Y. & Horiuchi, K., 1998, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E81-A, 9, p. 1892-1897 6 p.

  研究成果: Article › 査読

  • Turning Point 100%
  • Boundary value problems 93%
  • Two-point Boundary Value Problem 85%
  • Ordinary differential equations 30%
  • Nonlinear Ordinary Differential Equations 29%
  1 被引用数 (Scopus)

• A method of verified computations for solutions to semilinear parabolic equations using semigroup theory

  Mizuguchi, M., Takayasu, A., Kubo, T. & Oishi, S., 2017, In: SIAM Journal on Numerical Analysis. 55, 2, p. 980-1001 22 p.

  研究成果: Article › 査読

  • Semilinear Parabolic Equation 100%
  • Semigroup Theory 97%
  • Boundary value problems 93%
  • Initial-boundary-value Problem 73%
  • Analytic Semigroup 52%
  7 被引用数 (Scopus)

• A modified Newton method with guaranteed accuracy based on rational arithmetic

  Inoue, A., Kashiwagi, M., Oishi, S. & Makino, M., 1993 5月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 5, p. 795-805 11 p.

  研究成果: Article › 査読

  • Modified Newton Method 100%
  • Newton-Raphson method 77%
  • Nonlinear equations 75%
  • Approximate Solution 54%
  • Numerical methods 31%

• An algorithm for automatically selecting a suitable verification method for linear systems

  Ozaki, K., Ogita, T. & Oishi, S., 2011 3月 1, In: Numerical Algorithms. 56, 3, p. 363-382 20 p.

  研究成果: Article › 査読

  • Linear systems 100%
  • Linear Systems 78%
  • Computational methods 33%
  • Condition number 26%
  • Digital arithmetic 21%
  2 被引用数 (Scopus)

• An algorithm for iteratively refining the interval including the solution set of parameter-dependent nonlinear equations

  Kanzawa, Y., Kashiwagi, M. & Oishi, S., 2002 2月 26, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 85, 4, p. 39-44 6 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Refining 90%
  • Set theory 59%

• ANALYSIS OF SOLITON TRANSMISSION EQUATIONS REDUCIBLE TO A CERTAIN TYPE OF COUPLED BILINEAR EQUATIONS.

  Oishi, S., 1980 1月 1, In: Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. E63, 10, p. 738-745 8 p.

  研究成果: Article › 査読

  • Solitons 100%
  • Korteweg-de Vries equation 22%
  • Initial value problems 8%
  • Wave transmission 8%

• ANALYSIS OF THE SECOND PAINLEVE EQUATION BY BILINEARIZATION - AN EQUATION DESCRIBING LONG TIME ASYMPTOTIC BEHAVIOR OF WAVES IN CERTAIN SOLITON TRANSMISSION LINES.

  Oishi, S., 1980 1月 1, In: Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. E63, 10, p. 774-775 2 p.

  研究成果: Article › 査読

  • Solitons 100%
  • Electric lines 59%

• Analytic structure of phase-locked loops in complex time

  Tanaka, H. A., Matsuda, T., Oishi, S. & Horiuchi, K., 1994 11月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E77-A, 11, p. 1777-1782 6 p.

  研究成果: Article › 査読

  • Phase-locked Loop 100%
  • Phase locked loops 68%
  • Fractals 67%
  • Riccati equations 20%
  • Chaotic systems 18%

• A New Approach to Completely Integrable Partial Differential Equations by Means of the, Singularity Analysis

  Harada, H. & Oishi, S., 1985 1月 1, In: journal of the physical society of japan. 54, 1, p. 51-56 6 p.

  研究成果: Article › 査読

  • partial differential equations 100%
  18 被引用数 (Scopus)

• A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator

  Sekine, K., Nakao, M. T. & Oishi, S., 2020 12月, In: Numerische Mathematik. 146, 4, p. 907-926 20 p.

  研究成果: Article › 査読

  Open Access

  • Schur Complement 100%
  • Partial differential equations 82%
  • Mathematical operators 75%
  • Elliptic Problems 75%
  • Newton-Raphson method 61%
  5 被引用数 (Scopus)

• A note on a verified automatic integration algorithm

  Yamanaka, N., Kashiwagi, M., Oishi, S. & Ogita, T., 2011 6月 1, In: Reliable Computing. 15, 2, p. 156-167 12 p.

  研究成果: Article › 査読

  • Rounding error 100%
  • Interval Arithmetic 72%
  • Inclusion 69%
  • Truncation Error 63%
  • A Priori Error Bounds 41%

• A note on Dekker’s FastTwoSum algorithm

  Lange, M. & Oishi, S., 2020 6月 1, In: Numerische Mathematik. 145, 2, p. 383-403 21 p.

  研究成果: Article › 査読

  • Floating point 100%
  • Addend 26%
  • Absolute value 15%
  • Summation 15%
  • Evaluate 12%

• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

  Sekine, K., Nakao, M. T., Oishi, S. & Kashiwagi, M., 2021 11月, In: Applied Numerical Mathematics. 169, p. 87-107 21 p.

  研究成果: Article › 査読

  Open Access

  • Boundary value problems 100%
  • Elliptic Boundary Value Problems 96%
  • Nonexistence 77%
  • Sobolev spaces 39%
  • Sobolev Spaces 19%

• A parallel algorithm for accurate dot product

  Yamanaka, N., Ogita, T., Rump, S. M. & Oishi, S., 2008 7月, In: Parallel Computing. 34, 6-8, p. 392-410 19 p.

  研究成果: Article › 査読

  • Parallel Algorithms 100%
  • Scalar, inner or dot product 85%
  • Parallel algorithms 84%
  • Data Dependence 24%
  • Fast Algorithm 17%
  12 被引用数 (Scopus)

• A PL homotopy continuation method with the use of an odd map for the artificial level

  Kojima, M., Oishi, S., Sumi, Y. & Horiuchi, K., 1985 6月 1, In: Mathematical Programming. 31, 2, p. 235-244 10 p.

  研究成果: Article › 査読

  • Homotopy Continuation Method 100%
  • Linear equations 71%
  • Nonlinear equations 70%
  • Global Convergence 62%
  • Odd 46%
  1 被引用数 (Scopus)

• A robust algorithm for geometric predicate by error-free determinant transformation

  Ozaki, K., Ogita, T. & Oishi, S., 2012 7月, In: Information and Computation. 216, p. 3-13 11 p.

  研究成果: Article › 査読

  • Robust Algorithm 100%
  • Floating point 69%
  • Determinant 63%
  • Summation 36%
  • Rounding 21%
  2 被引用数 (Scopus)

• BILINEARIZATION METHOD FOR SOLITON EQUATIONS - A NONLINEAR VERSION OF FOURIER'S METHOD.

  Oishi, S., 1982 1月 1, In: Memoirs of the School of Science and Engineering, Waseda University. 46, p. 191-225 35 p.

  研究成果: Article › 査読

  • Solitons 100%
  • Initial value problems 14%
  2 被引用数 (Scopus)

• Bilinearization of the Painlevé Equations

  Oishi, S., 1980 1月 1, In: journal of the physical society of japan. 49, 4, p. 1647-1648 2 p.

  研究成果: Article › 査読

  • solitary waves 100%
  6 被引用数 (Scopus)

• Calculating bifurcation points with guaranteed accuracy

  Kanzawa, Y. & Oishi, SI., 1999 1月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E82-A, 6, p. 1055-1061 7 p.

  研究成果: Article › 査読

  • Bifurcation (mathematics) 100%
  • Bifurcation Point 87%
  • Hysteresis 76%
  • Extended Systems 34%
  • Symmetry Breaking 32%
  9 被引用数 (Scopus)

• Characteristic spaces emerging from primitive chaos

  Ogasawara, Y. & Oishi, S., 2014 1月 15, In: journal of the physical society of japan. 83, 1, 014001.

  研究成果: Article › 査読

  • chaos 100%
  • emerging 97%
  • continuums 39%
  • physics 11%
  2 被引用数 (Scopus)

• Computational complexity of the homotopy method for calculating solutions of strongly monotonic resistive circuit equations

  Makino, M., Oishi, S., Kashiwagi, M. & Horiuchi, K., 1991, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 74, 11, p. 90-100 11 p.

  研究成果: Article › 査読

  • Computational complexity 100%
  • Newton-Raphson method 67%
  • Networks (circuits) 67%
  • Error analysis 57%
  • Mathematical operators 56%

• Computation of constrained channel capacity by network's method

  Yamamura, K., Oishi, S. & Horiuchi, K., 1993 6月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 6, p. 1043-1048 6 p.

  研究成果: Article › 査読

  • Channel Capacity 100%
  • Channel capacity 75%
  • Local Quadratic Convergence 19%
  • Linear Constraints 14%
  • High Accuracy 14%

• Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations

  Ogita, T., Oishi, S. & Ushiro, Y., 2003 6月, In: Reliable Computing. 9, 3, p. 229-239 11 p.

  研究成果: Article › 査読

  • Linear equations 100%
  • System of Linear Equations 92%
  • Error Bounds 82%
  • Approximate Solution 70%
  • Rounding 21%
  8 被引用数 (Scopus)

• Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains

  Liu, X., Nakao, M. T. & Oishi, S., 2022 5月, In: Communications in Nonlinear Science and Numerical Simulation. 108, 106223.

  研究成果: Article › 査読

  • Computer-assisted Proof 100%
  • Solution Existence 95%
  • Error Estimation 77%
  • Stationary Solutions 71%
  • Error analysis 66%

• Consideration of a primitive chaos

  Ogasawara, Y. & Oishi, S., 2012 10月 1, In: journal of the physical society of japan. 81, 10, 103001.

  研究成果: Article › 査読

  • chaos 100%
  • orbits 39%
  • continuums 19%
  3 被引用数 (Scopus)

• Constructive analysis for infinite‐dimensional nonlinear systems—infinite‐dimensional version of homotopy method

  Makino, M. & Oishi, SI., 1991, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 74, 8, p. 1-10 10 p.

  研究成果: Article › 査読

  • Nonlinear equations 100%
  • Semiconductor devices 36%
  • Controllability 32%
  • Resistors 29%
  • Mathematical operators 28%
  1 被引用数 (Scopus)

• Convergence analysis of an algorithm for accurate inverse Cholesky factorization

  Yanagisawa, Y., Ogita, T. & Oishi, S., 2014 11月 1, In: Japan Journal of Industrial and Applied Mathematics. 31, 3, p. 461-482 22 p.

  研究成果: Article › 査読

  • Cholesky factorisation 100%
  • Factorization 73%
  • Convergence Analysis 68%
  • Matrix Factorization 46%
  • Inverse matrix 43%
  3 被引用数 (Scopus)

• Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices

  Oishi, S., Tanabe, K., Ogita, T. & Rump, S. M., 2007 8月 1, In: Journal of Computational and Applied Mathematics. 205, 1, p. 533-544 12 p.

  研究成果: Article › 査読

  • Error analysis 100%
  • Experiments 38%
  • Condition number 31%
  • Floating point 19%
  • Error Analysis 14%
  19 被引用数 (Scopus)

• Discretization principles for linear two-point boundary value problems, II

  Yamamoto, T., Oishi, SI. & Fang, Q., 2008 1月 1, In: Numerical Functional Analysis and Optimization. 29, 1-2, p. 213-224 12 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Two-point Boundary Value Problem 91%
  • Discretization 66%
  • Difference equations 37%
  • Finite difference method 30%
  2 被引用数 (Scopus)

• Discretization principles for linear two-point boundary value problems, III

  Yamamoto, T., Oishi, SI., Nashed, M. Z., Li, Z. C. & Fang, Q., 2008 9月, In: Numerical Functional Analysis and Optimization. 29, 9-10, p. 1180-1200 21 p.

  研究成果: Article › 査読

  • Boundary value problems 100%
  • Two-point Boundary Value Problem 91%
  • Discretization 66%
  • Difference equations 56%
  • Boundary Value Problem 24%
  1 被引用数 (Scopus)

• Efficient calculations of faithfully rounded l2-norms of n-vectors

  Graillat, S., Lauter, C., Tang, P. T. P., Yamanaka, N. & Oishi, S., 2015 10月, In: ACM Transactions on Mathematical Software. 41, 4, 24.

  研究成果: Article › 査読

  • Vectorization 100%
  • Parallel Implementation 87%
  • Floating point 84%
  • Norm 81%
  • Rounding 79%
  7 被引用数 (Scopus)

• Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation

  Mizuguchi, M., Nakao, M. T., Sekine, K. & Oishi, S., 2021 11月, In: Journal of Scientific Computing. 89, 2, 34.

  研究成果: Article › 査読

  Open Access

  • Discrete Approximation 100%
  • Galerkin Approximation 97%
  • Heat Equation 81%
  • Linear equation 69%
  • Hot Temperature 42%
  1 被引用数 (Scopus)

• Error-free transformation of matrix multiplication with a posteriori validation

  Ozaki, K., Ogita, T. & Oishi, S., 2016 10月 1, In: Numerical Linear Algebra with Applications. 23, 5, p. 931-946 16 p.

  研究成果: Article › 査読

  • Matrix multiplication 100%
  • Floating point 63%
  • Rounding error 38%
  • Divide and conquer 22%
  • High Performance 21%
  4 被引用数 (Scopus)

• Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications

  Ozaki, K., Ogita, T., Oishi, S. & Rump, S. M., 2012 1月, In: Numerical Algorithms. 59, 1, p. 95-118 24 p.

  研究成果: Article › 査読

  • Matrix multiplication 100%
  • Floating point 84%
  • Working Memory 28%
  • Digital arithmetic 23%
  • Data storage equipment 20%
  22 被引用数 (Scopus)

• Estimation method of region guaranteeing existence of a solution path in Newton type homotopy method

  Makino, M., Kashiwagi, M., Oishi, S. & Horiuchi, K., 1993 7月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 7, p. 1113-1116 4 p.

  研究成果: Article › 査読

  • Newton-type Methods 100%
  • Homotopy Method 97%
  • Nonlinear equations 83%
  • Path 52%
  • Homotopy Type 43%
  2 被引用数 (Scopus)

• Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains

  Mizuguchi, M., Tanaka, K., Sekine, K. & Oishi, S., 2017, In: Journal of Inequalities and Applications. 2017, 299.

  研究成果: Article › 査読

  • Sobolev Embedding 100%
  • Convex Domain 81%
  • Lipschitz Domains 59%
  • Bounded Domain 59%
  • Extension Operator 33%
  17 被引用数 (Scopus)