PUBLICATIONS, Shin'ichi Oishi

  1. A. Minamihata, K. Sekine, T. Ogita, S. Oishi: Fast verified solutions of sparse linear systems with H-matrices, to appear in Reliable Computing (2014).
  2. Naoya Yamanaka, Shin'ichi Oishi:Fast quadruple-double floating point format,Nonlinear Theory and Its Applications, IEICE, 5:1 (2014), 15-34.
  3. Yuka Yanagisawa, Takeshi Ogita, Shin'ichi Oishi:A modified algorithm for accurate inverse Cholesky factorization, Nonlinear Theory and Its Applications, IEICE, 5:1 (2014), 35-46.
  4. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:Remarks on computable a priori error estimates for finite element solutions of elliptic problems,Nonlinear Theory and Its Applications, IEICE, 5:1 (2014), 53-63.
  5. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations,Nonlinear Theory and Its Applications, IEICE, 5:1 (2014), 64-79.
  6. Xuefeng Liu and Shin'ichi Oishi, Verified eigenvalue evaluation for Laplacian over polygonal domain of arbitrary shape, SIAM J. Numer. Anal., 51(3), (2013) 1634-1654.
  7. Tetsuo Nishi, Shin'ichi Oishi, Norikazu Takahashi:Explicit proof of an inequality related to the Omega-matrix,Nonlinear Theory and Its Applications, IEICE, 4:4 (2013), 430-450.
  8. Xuefeng Liu, Shin'ichi Oishi:Guaranteed high-precision estimation for P0 interpolation constants on triangular finite elements,Japan Journal of Industrial and Applied Mathematics, November 2013, Volume 30, Issue 3, pp 635-652.
  9. Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump:Generalization of error-free transformation for matrix multiplication and its application,Nonlinear Theory and Its Applications, IEICE, 4:1 (2013), 2-11.
  10. Yusuke Morikura, Katsuhisa Ozaki, Shin'ichi Oishi:Verification methods for linear systems using ufp estimation with rounding-to-nearest,Nonlinear Theory and Its Applications, IEICE, 4:1 (2013), 12-22.
  11. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains,Nonlinear Theory and Its Applications, IEICE, 4:1 (2013), 34-61.
  12. Tetsuo Nishi, Shin'ichi Oishi, Norikazu Takahashi:Some properties of solution curves of a class of nonlinear equations and the number of solutions,Nonlinear Theory and Its Applications, IEICE, 3:3 (2012), 301-335.
  13. K. Ozaki, T. Ogita, S. Oishi: A Robust Algorithm for Geometric Predicate by Error-free Determinant Transformation, Information and Computation, Information and Computation, 216 (2012), 3-13.
  14. 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.
  15. T. Ogita, S. Oishi: Accurate and Robust Inverse Cholesky Factorization, Nonlinear Theory and Its Applications, IEICE, 3:1 (2012), 103-111.
  16. 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.
  17. 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)
  18. 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.
  19. 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)
  20. Akitoshi Takayasu (Waseda University) , Shin'ichi Oishi (Waseda University): A Method of Computer Assisted Proof for Nonlinear Two-point Boundary Value Problems Using Higher Order Finite Elements, Nonlinear Theory and Its Applications, IEICE, Vol.2, No.1, (2011) pp.74-89.
  21. T. Ogita, S. Oishi: Accurate and Robust Inverse Cholesky Factorization, Nonlinear Theory and Its Applications, IEICE, accepted for publication, Feb. 2011.
  22. Naoya Yamanaka (Waseda University) , Shin'ichi Oishi (Waseda University) , Takeshi Ogita (Tokyo Woman's Christian University) : A Fast Verified Double Repeated Integration Algorithm using Double Exponential Formula, Reliable Computing, 15(2), pp.156-167, June, 2011.
  23. Tetsuo Nishi (Waseda University) , Siegflied M. Rump (Hamburg University of Technology (TUHH)) , Shin'ichi Oishi (Waseda University): On the generation of very ill-conditioned integer matrices, NOLTA,IEICE, vol.2 no.2(2011) pp.226-245.
  24. Shin’ichi Oishi, Akitoshi Takayasu:Numerical Verification of Existence for Solutions of Dirichlet Boundary Value Problems of Semilinear Elliptic Equations, NOLTA, IEICE vol.2 no.1 (2011) pp.74-89.
  25. 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.
  26. 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)
  27. Akitoshi Takayasu, Shin’ichi Oishi, and Takayuki Kubo:Numerical Existence Theorem for Solutions of Two-Point Boundary Value Problems of Nonlinear Differential Equations, NOLTA, IEICE, vol.1 no.1 ( 2010), pp.105-118.
  28. Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi, and Takeshi Ogit:A Fast Verifi ed Automatic Integration Algorithm Using Double Exponential Formula, NOLTA, IEICE, vol.1 no.1, (2010) pp.119-132.
  29. S. M. Rump, T. Ogita, S. Oishi: Fast High Precision Summation, NOLTA, IEICE, vol.1 no. 1(2010)pp.2-24. (PDF, 339422 bytes) .
  30. Siegfried M. Rump and Shin’ichi Oishi:Verified computation of a disc containing exactly k roots of a univariate nonlinear function , NOLTA, IEICE vol.1, no.1 (2010) pp.89-96.
  31. S. Miyajima, T. Ogita, S. M. Rump, S. Oishi: Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem, Reliable Computing, Vol. 14, pp. 24-45, June 2010 .
  32. T. Ogita, S. Oishi: Fast Verified Solutions of Linear Systems, Japan J. Indust. Appl. Math. Volume 26, Number 2 (2009),pp. 169-190..
  33. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Adaptive and Efficient Algorithm for 2D Orientation Problem,Japan J. Indust. Appl. Math. Volume 26, Number 2 (2009), pp.215-231.
  34. Yusuke Nakaya, Tetsuo Nishi, Shinfichi Oishi and Martin Claus: Numerical Verification of Five Solutions in Two-transistor Circuits,Japan J. Indust. Appl. Math. Volume 26, Number 2 (2009), pp.327-336 .
  35. S. Oishi, T. Ogita, S. M. Rump: Iterative Refinement for Ill-Conditioned Linear Systems, Japan J. Indust. Appl. Math. Volume 26, Number 2 (2009), pp.465-476.
  36. Shinfichi Oishi and Kunio Tanabe:Numerical Inclusion of Optimum Point for Linear Programming, JSIAM Letter, Vol.1 (2009) pp.5-8. (electric journal page)
  37. 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. Gilanyi, L. Losonczi, Z. Pales, M. Plum eds., Birkhauser Verlag).
  38. T. Nishi, T. Ogita, S. Oishi, and S. M. Rump. A Method for the Generation of a Class of Ill-conditioned Matrices. In 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, Budapest, Hungary, September 7-10, pages 53-56, 2008. (PDF, 92508 bytes)
  39. S. Oishi, T. Ogita, and S. M. Rump. Iterative Refinement for Ill-conditioned Linear Equations. In 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, Budapest, Hungary, September 7-10, pages 516-519, 2008. (PDF, 73572 bytes)
  40. K. Ozaki, T. Ogita, S. M. Rump, and S. Oishi. Accurate Matrix Multiplication by using Level 3 BLAS Operation. In 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA'08, Budapest, Hungary, September 7-10, pages 508-511, 2008. (PDF, 109962 bytes)
  41. Tetsuro Yamamoto, Shinfichi Oishi, M. Zuhair Nashed, Zi-Cai Li, and Qing Fang:DISCRETIZATION PRINCIPLES FOR LINEAR TWO-POINT BOUNDARY VALUE PROBLEMS, III, Numerical Functional Analysis and Optimization, 29(9-10),pp.1180-1200, 2008
  42. 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, Vol.31, No.2 (2008)pp.1269-1302. (PDF, 377632 bytes)
  43. 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 (PDF, 457457 bytes)
  44. N. Yamanaka, T. Ogita, S. M. Rump, S. Oishi: A Parallel Algorithm for Accurate Dot Product, Parallel Computing, 34:6-8 (2008), 392-410. (PDF, 347400 bytes)
  45. Tetsuro Yamamoto, Shin'ichi Oishi and Qing Fang:Discretization Principles for Linear Two-Point Boundary Value Problems, II, Numerical Functional Analysis and Optimization, Volume 29, Issue 1 & 2 January 2008 , pages 213 - 224
  46. K. Ozaki, T. Ogita, S. M. Rump, and S. Oishi. Accurate Matrix Multiplication with Multiple Floating-point Numbers. In Proceedings of 2007 International Symposium on Nonlinear Theory and its Applications, Vancouver, Canada, September 16-19, 2007. (PDF, 63791 bytes)
  47. S. Oishi, K. Tanabe, T. Ogita, S. M. Rump: Convergence of Rump's Method for Inverting Arbitrarily Ill-conditioned Matrices, Journal of Computational and Applied Mathematics, 205:1 (2007), 533-544. (PDF, 126985 bytes)
  48. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump: A Method of Obtaining Verified Solutions for Linear Systems Suited for Java, Journal of Computational and Applied Mathematics, 199:2 (2007), 337-344. (PDF, 134652 bytes)
  49. YAMAMOTO, TETSURO and OISHI, SHIN'ICHI: On Three Theorems of Lees for Numerical Treatment of Semilinear Two-Point Boundary Value Problems, Jpn J Ind Appl Math, VOL.23;NO.3;PAGE.293-313(2006)
  50. K. Ozaki, T. Ogita, S.M. Rump, and S. Oishi. Fast and robust algorithm for geometric predicates using floating-point arithmetic. Trans. JSIAM, 4(16):553-562, 2006. [in Japanese].
  51. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi:"Numerical Verification for Each Eigenpair of Symmetric Matrix", Trans. JSIAM, Vol. 16, No. 4, pp.535-552, December, 2006 [in Japanese]
  52. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi:"Numerical Verification for Each Eigenvalues of Symmetric Matrix", Trans. JSIAM, Vol. 15, No. 3, pp. 253-268, September, 2005 [in Japanese]
  53. Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi: "Fast Verification for Respective Eigenvalues of Symmetric Matrix", Lecture Notes in Computer Science 3718, Springer-Verlag, pp. 306-317, 2005
  54. T. Ogita, S. M. Rump, S. Oishi: Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, 26:6 (2005), 1955-1988. (PDF, 373558 bytes)
  55. T. Ogita, S. Oishi: Fast Inclusion of Interval Matrix Multiplication, Reliable Computing, 11:3 (2005), 191-205.
  56. OTA TAKAHISA, OGITA TAKESHI, RUMP SIEGFRIED M., OISHI SHIN'ICHI:Numerical Verification Method for Arbitrarily Ill-conditioned Linear Systems, Transactions of the Japan Society for Industrial and Applied Mathematics, VOL.15;NO.3;PAGE.269-286(2005) (in Japanese).
  57. Sunao Murashige and Shin'ichi Oishi: Numerical verification of solutions of Nekrasov's integral equation, Computing, 26/6,(2005) 1955-1988.
  58. 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).
  59. Sunao Murashige and Shin'ichi Oishi: Numerical verification of solutions of periodic integral equations with a sigular kernel , Numerical Algorithms, Volume 37, Numbers 1-4 (2004/12) pp.301-310
  60. Ken-ichiro Tanaka, Sunao Murashige and Shin'ichi Oishi: On necessary and sufficient conditions for numerical verification of double turning points, Numerische Mathematik, 97 (2004) pp.537-554.
  61. Nobuyo KASUGA,Katsuhito ITOH,Shin'ichi OISHI,Tomomasa NAGASHIMA: Study on Relationship between Technostress and Antisocial Behavior on Computers, IEICE Trans. Vol.E87-D No.6 (2004) pp.1461-1465.
  62. R. KEARFOTT, M. NEHER, S. OISHI, F. RICO .: Libraries, Tools, and Interactive Systems for Verified Computations: Four Case Studies, Numerical Software with Result Verification (R. Alt, A. Frommer, R. B. Kearfott, and W. Luther eds.), Lecture Notes in Computer Science,Springer Verlag, Heidelberg, no. 2991 (2004).
  63. 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.
  64. Yusuke Nakaya, Shin'ichi Oishi, Masahide Kashiwagi, Yuchi Kanzawa, Numerical verification of nonexistence of solutions for separable nonlinear equations and its application to all solutions algorithm, Electronics and Communications in Japan (Part III: Fundamental Electronic Science), Volume 86, Issue 5, Date: May 2003, Pages:45-53
  65. T. Ogita, S. Oishi, Y. Ushiro: Fast Inclusion and Residual Iteration for Solutions of Matrix Equations, Computing, Supplement 16 (2002), 171-184 (Inclusion Methods for Nonlinear Problems: With Applications in Engineering, Economics and Physics, J. Herzberger ed., Springer WienNewYork, Austria).
  66. S. Oishi and S.M.Rump, Fast verification of solutions of matrix equations, Numer. Math. 90 (4) (2002), pp. 755-773.
  67. Yuchi Kanzawa, Masahide Kashiwagi, Shin'ichi Oishi:An Algorithm for Iteratively Refining the Interval Including the Solution Set of Parameter-Dependent Nonlinear Equations,Electronics and Communications in Japan (Part III: Fundamental Electronic Science), Volume 85, Issue 4, Date: April 2002, Pages:39-44
  68. T. Ogita, S. Oishi, Y. Ushiro: Fast Verification of Solutions for Sparse Monotone Matrix Equations, Computing, Supplement 15 (2001), 175-187 (Topics in Numerical Analysis: With Special Emphasis on Nonlinear Problems, G. Alefeld and X. Chen eds., Springer WienNewYork, Austria).
  69. Shin'ichi Oishi: Fast enclosure of Matrix Eigenvalues and Singular Values via Rounding Mode Controlled Computation, Linear Algebra and its Applications, 324;(2001) pp. 134-146
  70. Yuchi KANZAWA and Shin'ichi OISHI :Imperfect Singular Solutions of Nonlinear Equations and a Numerical Method of Proving Their Existence , IEICE Trans. Fundamentals, Vol.E82-A No.6 pp.1062-1069 1999/6
  71. Yuchi Kanzawa, Masahide Kashiwagi, Shin'ichi Oishi:An algorithm for finding all solutions of parameter-dependent nonlinear equations with guaranteed accuracy,Electronics and Communications in Japan (Part III: Fundamental Electronic Science), Volume 82, Issue 10, Date:October 1999, Pages:33-39
  72. Yuchi KANZAWA andShin'ichi OISHI::Calculating Bifurcation Points with Guaranteed Accuracy , IEICE Trans. Fundamentals, Vol.E82-A No.6 pp.1055-1061 1999/6
  73. Shin'ichi Oishi: "A Numerical Method of Proving the Existence and Inclusion of Connecting Orbits for Continuous Dynamical Systems", Journal of Universal Computer Science, vol.4 no.2, (1998), 193-201
  74. Takao SOMA,Shin'ichi OISHI,Yuchi KANZAWA,Kazuo HORIUCHI :A Method of Proving the Existence of Simple Turning Points of Two-Point Boundary Value Problems Based on the Numerical Computation with Guaranteed Accuracy, IEICE Trans. Fundamentals, Vol.E81-A No.9 pp.1892-1897 1998/9
  75. Shin'ichi Oishi:A Numerical Method of Proving the Existence and Inclusion of Connecting Orbits for Continuous Dynamical Systems, Journal of Universal Computer Science, vol.4 no.2,(1998) pp.193-201
  76. Yusuke Nakaya and Shin'ichi Oishi: Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy, Journal of Universal Computer Science, vol.4 no.2,(1998) pp.171-177
  77. Hisa-Aki Tanaka, Allan J. Lichtenberg, and Shin'ichi Oishi:A First Order Phase Transition Resulting from Finite Inertia in Coupled Oscillator Systems,Physical Review Letters, (1997) vol. 78, no. 11
  78. Hisa-Aki Tanaka and Shin'ichi Oishi: Self-Synchronization in Globally Coupled Oscillators with Hysteretic Response, Physica DC(1997) vol. 100
  79. Hisa-Aki Tanaka and Shin'ichi Oishi: Stability of synchrnized States in One Dimensinal Networks of Second Order PLLs, International Journal of Bifurcation and Chaos, vol. 7, no. 3 (1997)
  80. Hisa-Aki Tanaka and Shin'ichi Oishi: First Order Phase Transition Resulting from Finite Inertia in Coupled Oscillator Systems, THE AMERICAN PHYSICAL SOCIETY (1997)
  81. Hisa-Aki Tanaka and Shin'ichi Oishi: Geometric Structure of Mutually coupled Phase-Looked Loops, IEEE Trans. CAS (1996)
  82. Shin'ichi Oishi: An Interval Method of Proving Existence of Solutions for Nonlinear Boundary Value Problems,Numerical Analysis of Ordinary Differential Equations and its Applications (World Scientific, Proceedings) (1995) pp.179-194
  83. Shin'ichi Oishi: "Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations", J. Computational and Applied Math., 60, Issues 1-2, pp. 171-185 (1995).
  84. Hisa-Aki Tanaka, Shin'ichi Oishi and Kazuo Horiuchi: Melnikov Analysis of a Second Order PLL in the Presence of a Weak CW Interference, IEICE Trans. Fundamentals, Vol.E77-A, No.11 (1994) pp.1887-1891,
  85. Hisa-Aki Tanaka, Toshiya Matsuda, Shinfichi Oishi and Kazuo Horiuchi: Analytic Structure of Phase-Locked Loops in Complex Time, IEICE Trans. Fundamentals, Vol.E77-A, No.11, (1994) pp.1777-1782
  86. Shin'ichi Oishi:Two Topics in Nonlinear System Analysis through Fixed Point Theorems, IEICE Trans. Fundamentals, Vol.E77-A, No.7, (1994) pp.1144-1153
  87. Hisa-Aki Tanaka, Shinfichi Oishi and Kazuo Horiuchi: Nonlinear Circuit in Complex Time-Case of Phase-Locked Loops-, IEICE Trans. Fundamentals, Vol.E76-A, No.12, (1993) pp.2055-2058
  88. Hisa-Aki TANAKA, Shin'ichi OISHI and Atsushi OKADA:Numerical Verification of Algebraic Non-integrability for High Dimensional Dynamical Systems, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E76-A, No.7, pp.1117-1120, (1993)
  89. Mitsunori Makino, Masahide Kashiwagi, Shinfichi Oishi and Kazuo Horiuchi: An Estimation Method of Region Guaranteeing Existence of a Solution Path in Newton Type Homotopy Method, IEICE Trans. Fundamentals, Vol.E76-A, No.7, (1993) pp.1113-1116
  90. Kiyotaka Yamamura, Shinfichi Oishi and Kazuo Horiuchi: Computation of Constrained Channel Capacity by Newtonfs Method, IEICE Trans. Fundamentals, Vol.E76-A, No.6, (1993) pp.1043-1048
  91. Akira Inoue, Masahide Kashiwagi, Shinfichi Oishi and Mitsunori Makino: A Modified Newton Method with Guaranteed Accuracy Based on Rational Arithmetic, IEICE Trans. Fundamentals, Vol.E76-A, No.5,(1993) pp.795-807
  92. Mitsunori Makino, Masahide Kashiwagi, Shinfichi Oishi and Kazuo Horiuchi: A Sufficient Condition of A Priori Estimation for Computational Complexity of the Homotopy Method, IEICE Trans. Fundamentals, Vol.E76-A, No.5, (1993) pp.786-794
  93. Shin'ichi Oishi:The Self-Validating Numerical Method-A New Tool for Computer Asisted Proofs of Nonlinear Problems-,IEICE Trans, Fundamentals, Vol.E75-A, No.5, (1992) pp.595-612
  94. Mitsunori Makino, Shinfichi Oishi, Masahide Kashiwagi and Kazuo Horiuchi: Infinite Dimensional Homotopy Method of Calculating Solutions forFredholm Operator with Index 1 and A-Proper Operator Equations, IEICE Trans, Fundamentals, Vol.E75-A, No.5, (1992) pp.613-615
  95. Mitsunori Makino, Shinfichi Oishi, Masahide Kashiwagi, Kazuo Horiuchi: An Urabe Type A Posteriori Stopping Criterion and a Globally Conbergent Progerty of theSimplicial Approximate Homotopy Method, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E74, No.6, (1991) pp.1440-1446
  96. Mitsunoai Makino, Shin'ichi Oishi, Masahide Kashiwagi, Kazuo Horiuchi, Computational complexity of the homotopy method for calculating solutions of strongly monotonic resistive circuit equations, Electronics and Communications in Japan (Part III: Fundamental Electronic Science), Volume 74, Issue 11, Date: 1991, Pages:90-100
  97. Mitsunori Makino, Shinfichi Oishi, Masahide Kashiwagi, Kazuo Horiuchi: Computational Complexity of Calculating Solutions for a Certain Class of Uniquely Solvable Nonlinear Equation by Homotopy Method, The Transaction of the Institute of Electronics and Communication Engineers of Japan Vol.E.73. No.1 (1990) pp.1940-1947
  98. Masahide Kashiwagi, Shinfichi Oishi, Mitsunori Makino, Kazuo Horiuchi: An Urabe Type Convergence Theorem for a Constructive Simplified Newton Method in Infinite Dimensional Spaces, The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E.73. No.11 (1990) pp.1789-1791
  99. Shinfichi Oishi, Tosiro Koga: Chaos as Challenging Area in Engineering Science|A Brief Introduction to Engineering Chaos|,The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E.72. No.6 (1989) pp.759-762
  100. Mitsunori Makino, Shinfichi Oishi, Kazuo Horiuchi: Homotopy Method of computing Bifurcating Solutions for Infinite Dimensional Chaotic Systems, The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E.72. No.6 (1989) pp.801~808
  101. Mitsunori Makino, Shinfichi Oishi: A Homotopy Method for Numerically Solving Infinite Dimensional Convex Optimization Problems, The Transactions of The Institute of Electronics and Communication Engineers of Japan, Vol.E.71 No.12 (1988) pp.1307-1316
  102. Fumio Kanaya, Shinfichi Oishi: Rate Risk Theory-Information Theoretic Approach to Statistical Decision-, The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E69, No.5 (1986) pp.571-574
  103. M. Kojima, S. Oishi, Y. Sumi, K. Horiuchi: A Pl Homotopy Continuation Method with the Use of an Odd Map for the Artificial Level, Mathmatical Programming Vol.31, (1985) pp.234-245
  104. Kiyotaka Yamamura, Shinfichi Oishi, Kazuo Horiuchi: Iterative Decomposion Method with Mesh Refinements for Numerical Solution of Nonlinear Two-Point Boundary Value Problems, The Transactions of the Institute of Electronics and Communication Engineers of Japan, Vol.E68, No.6 (1985) pp.382-383
  105. Hitoshi Harada, Shinfichi Oishi: A New Approach to Completely Integrable Partial Differential Equations by Means of the Singularity Analysis, Journal of the Physical Society of Japan Vol.54, No.1 (1985) pp.51-56
  106. Kiyotaka Yamamura, Shin'Ichi Oishi, Kazuo Horiuchi, Simplicial homotopy method for the solution of nonlinear two-point boundary value problems, Electronics and Communications in Japan (Part I: Communications), Volume 68, Issue 11, Date: 1985, Pages:40-48
  107. Akira Onozava, Masayuki Inoue, Shin'Ichi Oishi, Kazuo Horiuchi, On principal partition of matroids with parity condition into strongly irreducible minors pairs, Electronics and Communications in Japan (Part I: Communications), Volume 68, Issue 11, Date: 1985, Pages: 10-19
  108. Yuzo Sumi, Regular Member, Shin'Ichi Oishi, Tadaaki Takase, Kazuo Horiuchi, A constructive approach to the analysis of nonlinear resistive circuits based on the fixed point algorithm theory, Electronics and Communications in Japan (Part I: Communications), Volume 68, Issue 6, Date:June 1985, Pages:11-18
  109. Kiyotaka Yamamura, Shin'Ichi Oishi, Kazuo Horiuchi, A decomposition method and acceleration techniques for a fixed point algorithm,
    Electronics and Communications in Japan (Part I: Communications), Volume 67, Issue 10, Date: 1984, Pages: 1-9
  110. Tadaaki Takase, Shin'Ichi Oishi, Hideaki Io, Kiyotaka Yamamura, Simplicial fixed points algorithms for finding several solutions of nonlinear circuits, Electronics and Communications in Japan (Part I: Communications), Volume 67, Issue 4, Date: 1984, Pages: 1-10
  111. Kiyotaka Yamamura, Shin'Ichi Oishi, Kazuo Horiuchi, Algorithms for solving systems of nonlinear equations by Kevorkian's decomposition method and their quadratic convergence property, Electronics and Communications in Japan (Part I: Communications), Volume 66, Issue 11, Date: 1983, Pages: 33-41
  112. Shin'Ichi Oishi, Tadaaki Takase, Kiyotaka Yamamura, Vector labelling method in fixed points algorithm and array processors, Electronics and Communications in Japan (Part I: Communications), Volume 66, Issue 11, Date: 1983, Pages: 51-59
  113. Shin'ichi Oishi: Blinearization Method for Soliton Equation ?A Nonlinear Vesion of Fourierfs Method-, Memoirs of the School of Science and Engineering, Waseda University No.46 (1982) pp.191`225
  114. Shin'ichi Oishi and Hajime Inoue: Pscudo-Random Number Generators and Chaos, Transactions of the Institute of Electronics and Communication Engineers of Japan Vol.E65, No.9 (1982) pp.534-541
  115. Shin'ichi Oishi: Bilinearization of the Painlevef Equations, Journal of the Physical Society of Japan Vol.49, No.4 (1980) pp.1647-1648
  116. Shin'ichi Oishi: An Analysis of the Second Painlevef Equation by Bilinearlization : AN Equation Describing Long Time Asymptotic Behavior of Waves in Certain Soliton Transmission Lines-, The Transactions of the Institute of Electronics and Communication Engineers of Japan Vol.E63, No.10 (1980) pp.774-775
  117. Shin'ichi Oishi: An Analysis of Soliton Transmission Equations Reducible to a Certain Type of Coupled Bilinear Equations, The Transactions of the Institute of Electronics and Communication Engineers of Japan Vol.E63, No.10 (1980) pp.738-745
  118. Shin'ichi Oishi: A Method of Analysing Soliton Equations by Bilinearization, Journal of the Physical Society of Japan Vol.48, No.2 (1980) pp.639-646
  119. Shin'ichi Oishi: The Kortewe-de Vries Equation under Slowly Decreasing Boundary Condition, Journal of the Physical Society of Japan Vol.48, No.1 (1980) pp.349-350
  120. Shin'ichi Oishi: A Method of Constructing Generalized Soliton Solutions for Certain Bilinear Soliton Equations, Journal of the Physical Society of Japan Vol.47, No.4 (1979) pp.1341-1346
  121. Shin'ichi Oishi: Relationship Between Hirotafs Method and the Inverse Spectral Method -The Korteweg- de Vries Equationfs Case, Journal of the Physical Society of Japan Vol.47, No.3 (1979) pp.1037-1038.
  122. Futhermore, 40 papers written in Japanese

© Shin'ichi OISHI

URI: http://www.oishi.info.waseda.ac.jp/~oishi/PUBLICATIONS.html

Last Modified 2014/2/12