Shin’ichi Oishi

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	A note on Oishi’s lower bound for the smallest singular value of linearized Galerkin equations	2024	Siegfried M. Rump Shin’ichi Oishi
+	Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification	2024	Sora Sawai Kazuaki Tanaka Katsuhisa Ozaki Shin’ichi Oishi
+ PDF Chat	Lower bounds for the smallest singular values of generalized asymptotic diagonal dominant matrices	2023	Shin’ichi Oishi
+ PDF Chat	Rigorous numerical inclusion of the blow-up time for the Fujita-type equation	2022	Makoto Mizuguchi Kouta Sekine Kouji Hashimoto Mitsuhiro T. Nakao Shin’ichi Oishi
+ PDF Chat	Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents	2022	Kazuaki Tanaka Michael Plum Kouta Sekine Masahide Kashiwagi Shin’ichi Oishi
+ PDF Chat	Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains	2022	Xuefeng Liu Mitsuhiro T. Nakao Shin’ichi Oishi
+	Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems	2021	Kouta Sekine Kazuaki Tanaka Shin’ichi Oishi
+ PDF Chat	Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation	2021	Makoto Mizuguchi Mitsuhiro T. Nakao Kouta Sekine Shin’ichi Oishi
+	Numerical verification for asymmetric solutions of the Hénon equation on bounded domains	2021	Taisei Asai Kazuaki Tanaka Shin’ichi Oishi
+	A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems	2021	Kouta Sekine Mitsuhiro T. Nakao Shin’ichi Oishi Masahide Kashiwagi
+ PDF Chat	Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations	2021	Xuefeng Liu Mitsuhiro T. Nakao Chun’guang You Shin’ichi Oishi
+ PDF Chat	Inclusion of periodic solutions for forced delay differential equation modeling El Niño	2021	Shin’ichi Oishi Kouta Sekine
+ PDF Chat	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	2020	Kouta Sekine Mitsuhiro T. Nakao Shin’ichi Oishi
+	Numerical verification for asymmetric solutions of the Henon equation on the unit square	2020	Taisei Asai Kazuaki Tanaka Shin’ichi Oishi
+ PDF Chat	Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method	2020	Yuta Matsushima Kazuaki Tanaka Shin’ichi Oishi
+	Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations	2020	Xuefeng Liu Mitsuhiro T. Nakao Chun’guang You Shin’ichi Oishi
+	Numerical verification for asymmetric solutions of the Hénon equation on bounded domains	2020	Taisei Asai Kazuaki Tanaka Shin’ichi Oishi
+ PDF Chat	Numerical inclusion of exact periodic solutions for time delay Duffing equation	2019	Shin’ichi Oishi
+ PDF Chat	A new formulation for the numerical proof of the existence of solutions to elliptic problems.	2019	Kouta Sekine Mitsuhiro T. Nakao Shin’ichi Oishi
+	State of the art of study of nonlinear delay differential equations via verified numerical computations -- From fundamentals to topics	2019	Shin’ichi Oishi
+	Numerical Inclusion of Exact Periodic Solutions for Time Delay Duffing Equations	2019	Shin’ichi Oishi
+ PDF Chat	Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains	2017	Makoto Mizuguchi Kazuaki Tanaka Kouta Sekine Shin’ichi Oishi
+	A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems	2016	Ryo Kobayashi Takuma Kimura Shin’ichi Oishi
+	Numerical verification for existence of a global-in-time solution to semilinear parabolic equations	2016	Makoto Mizuguchi Akitoshi Takayasu Takayuki Kubo Shin’ichi Oishi
+ PDF Chat	Numerical validation of blow-up solutions of ordinary differential equations	2016	Akitoshi Takayasu Kaname Matsue Takiko Sasaki Kazuaki Tanaka Makoto Mizuguchi Shin’ichi Oishi
+	Sharp numerical inclusion of the best constant for embedding <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si26.gif" display="inline" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mi>Ω</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>↪</mml:mo><mml:msup><mml:mrow><mml:mi>L</mml:mi></mml:mrow><mml:mrow><mml:mi>p</mml:mi></mml:mrow></…	2016	Kazuaki Tanaka Kouta Sekine Makoto Mizuguchi Shin’ichi Oishi
+	Verified numerical computation for semilinear elliptic problems with lack of Lipschitz continuity of the first derivative	2016	Kazuaki Tanaka Michael Plum Kouta Sekine Masahide Kashiwagi Shin’ichi Oishi
+	Numerical verification method for positiveness of solutions to elliptic equations	2016	Kazuaki Tanaka Kouta Sekine Shin’ichi Oishi
+	Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator	2016	Akitoshi Takayasu Makoto Mizuguchi Takayuki Kubo Shin’ichi Oishi
+ PDF Chat	On the embedding constant of the Sobolev type inequality for fractional derivatives	2016	Makoto Mizuguchi Akitoshi Takayasu Takayuki Kubo Shin’ichi Oishi
+	Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains	2016	Makoto Mizuguchi Kazuaki Tanaka Kouta Sekine Shin’ichi Oishi
+	Numerical validation of blow-up solutions of ordinary differential equations	2016	Akitoshi Takayasu Kaname Matsue Takiko Sasaki Kazuaki Tanaka Makoto Mizuguchi Shin’ichi Oishi
+	Accurate method of verified computing for solutions of semilinear heat equations	2016	Akitoshi Takayasu Makoto Mizuguchi Takayuki Kubo Shin’ichi Oishi
+	Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents	2016	Kazuaki Tanaka Michael Plum Kouta Sekine Masahide Kashiwagi Shin’ichi Oishi
+ PDF Chat	Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator	2015	Kazuaki Tanaka Kouta Sekine Makoto Mizuguchi Shin’ichi Oishi
+ PDF Chat	Verified Computations for Hyperbolic 3-Manifolds	2015	Neil Hoffman Kazuhiro Ichihara Masahide Kashiwagi Hidetoshi Masai Shin’ichi Oishi Akitoshi Takayasu
+	Numerical method for deriving sharp inclusion of the Sobolev embedding constant on bounded convex domain	2015	Kazuaki Tanaka Kouta Sekine Makoto Mizuguchi Shin’ichi Oishi
+ PDF Chat	Improved error bounds for linear systems with <i>H</i>-matrices	2015	Atsushi Minamihata Kouta Sekine Takeshi Ogita Siegfried M. Rump Shin’ichi Oishi
+	A formula to estimate the Sobolev embedding constant on domains with minimally smooth boundary	2014	Kazuaki Tanaka Kouta Sekine Makoto Mizuguchi Shin’ichi Oishi
+ PDF Chat	Convergence analysis of an algorithm for accurate inverse Cholesky factorization	2014	Yuka Yanagisawa Takeshi Ogita Shin’ichi Oishi
+	A theorem on a solution curve of a class of nonlinear equations	2014	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+	Estimation of the Sobolev embedding constant on domains with minimally smooth boundary	2014	Kazuaki Tanaka Kouta Sekine Makoto Mizuguchi Shin’ichi Oishi
+ PDF Chat	Numerical Verification in Computational Mechanics	2014	Shin’ichi Oishi
+ PDF Chat	A modified algorithm for accurate inverse Cholesky factorization	2013	Yuka Yanagisawa Takeshi Ogita Shin’ichi Oishi
+ PDF Chat	An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations	2013	Kouta Sekine Akitoshi Takayasu Shin’ichi Oishi
+ PDF Chat	Characteristic Spaces Emerging from Primitive Chaos	2013	Yoshihito Ogasawara Shin’ichi Oishi
+	A consideration on the condition number of extremely ill-conditioned matrices	2013	Tetsuo Nishi Siegfried M. Rump Shin’ichi Oishi
+ PDF Chat	Explicit proof of an inequality related to the Omega-matrix	2013	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+	Verified computations for hyperbolic 3-manifolds	2013	Neil Hoffman Kazuhiro Ichihara Masahide Kashiwagi Hidetoshi Masai Shin’ichi Oishi Akitoshi Takayasu
+	Consideration of a Primitive Chaos	2012	Yoshihito Ogasawara Shin’ichi Oishi
+	Proof of an inequality related to the Omega-matrix	2012	Tetsuo Nishi Shin’ichi Oishi Takahashi Norikazu
+	Proof of an inequality related to the Omega-matrix (回路とシステム)	2012	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+	Proof of an inequality related to the Omega-matrix (非線形問題)	2012	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+	Some properties of extremal points of solution curves for a class of nonlinear equations (非線形問題)	2012	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+	Some properties of extremal points of solution curves for a class of nonlinear equations	2012	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+	A robust algorithm for geometric predicate by error-free determinant transformation	2012	Katsuhisa Ozaki Takeshi Ogita Shin’ichi Oishi
+	Faithful rounding of l_2 norm of n-dimensional vectors	2012	Shin’ichi Oishi Stef Graillat Christoph Lauter Naoya Yamanaka
+	On the Rank of a Jacobian Matrix of a Class of Nonlinear Equations (回路とシステム)	2012	Tetsuo Nishi Shin’ichi Oishi Norikazu Takahashi
+ PDF Chat	Space guaranteeing a primitive chaotic behavior	2012	Yoshihito Ogasawara Shin’ichi Oishi
+	On the Rank of a Jacobian Matrix of a Class of Nonlinear Equations	2012	Tetsuo Nishi Shin’ichi Oishi Takahashi Norikazu
+	Verified eigenvalue evaluation for Laplacian over polygonal domain of arbitrary shape	2012	Xuefeng Liu Shin’ichi Oishi
+ PDF Chat	Accurate and robust inverse Cholesky factorization	2012	Takeshi Ogita Shin’ichi Oishi
+	Accurate matrix multiplication: Improvement of error-free splitting	2011	Koichi OZAKI Takeshi Ogita Shin’ichi Oishi
+	Addendum to “Sufficient Conditions for the Existence of a Primitive Chaotic Behavior”	2011	Yoshihito Ogasawara Shin’ichi Oishi
+	Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain (Mathematical foundation and development of algorithms for scientific computing)	2011	Xuefeng Liu Shin’ichi Oishi
+	Accuracy Guaranteed Algorithm by Means of Topological Conditions	2011	Tetsuo Nishi Shin’ichi Oishi
+ PDF Chat	A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements	2011	Akitoshi Takayasu Shin’ichi Oishi
+	Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)	2010	Akitoshi Takayasu Shin’ichi Oishi Takayuki Kubo
+	Method of Computer Assisted Proof for Dirichelet Problem of Nonlinear Elliptic Equations	2010	Shin’ichi Oishi Akitoshi Takayasu Takatoshi Kubo
+	Some properties and generation methods of integer matrices with large condition number	2010	Nishi Tetsuo Siegfried M. Rump Shin’ichi Oishi
+	Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems	2010	Shinya Miyajima Takeshi Ogita Siegfried M. Rump Shin’ichi Oishi
+	An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms.	2010	Katsuhisa Ozaki Takeshi Ogita Shin’ichi Oishi
+ PDF Chat	New Journal in Nonlinear Science, Engineering and Mathematics	2010	Shin’ichi Oishi
+ PDF Chat	Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations	2010	Akitoshi Takayasu Shin’ichi Oishi Takayuki Kubo
+	A Priori Inverse Operator Estimation for Guaranteed Error Estimate	2010	Akitoshi Takayasu Shin’ichi Oishi Takayuki Kubo
+	Numerical Verification Method for Nonlinear Operator Equations	2009	Akitoshi Takayasu Shin’ichi Oishi Takayuki Kubo
+	Numerical verification for solutions to nonlinear two-point boundary value problems with finite element method	2009	Akitoshi Takayasu Shin’ichi Oishi Takayuki Kubo
+ PDF Chat	Numerical Inclusion of Optimum Point for Linear Programming	2009	Shin’ichi Oishi Kunio Tanabe
+	Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM	2009	Akitoshi Takayasu Shin’ichi Oishi Takayuki Kubo
+	Discretization Principles for Linear Two-Point Boundary Value Problems, III	2008	Tetsuro Yamamoto Shin’ichi Oishi M. Zuhair Nashed Zi‐Cai Li Qing Fang
+	Tight inclusion of matrix multiplication and its portable implementation	2008	Koichi OZAKI Takeshi Ogita Siegfried M. Rump Shin’ichi Oishi
+	A parallel algorithm for accurate dot product	2008	Naoya Yamanaka Takeshi Ogita Siegfried M. Rump Shin’ichi Oishi
+	Tight Inclusion for Matrix Multiplication	2008	Koichi OZAKI Takeshi Ogita Siegfried M. Rump Shin’ichi Oishi
+	Discretization Principles for Linear Two-Point Boundary Value Problems, II	2008	Tetsuro Yamamoto Shin’ichi Oishi Qing Fang
+	Error Free Transformation for Matrix Multiplication	2007	Koichi OZAKI Takeshi Ogita Siegfried M. Rump Shin’ichi Oishi
+ PDF Chat	On three theorems of Lees for numerical treatment of semilinear two-point boundary value problems	2006	Tetsuro Yamamoto Shin’ichi Oishi
+	A Method of Proving Existence of Solution Curve for Nonlinear Equation using Affine Arithmetic	2006	Yuchi Kanzawa Shin’ichi Oishi
+ PDF Chat	A mathematical theory for numerical treatment of nonlinear two-point boundary value problems	2006	Tetsuro Yamamoto Shin’ichi Oishi
+	RIGOROUS COMPUTATION OF NEKRASOV’S INTEGRAL EQUATION FOR WATER WAVES	2005	Sunao Murashige Shin’ichi Oishi
+	Numerical Verification of Solutions of Nekrasov’s Integral Equation	2005	Sunao Murashige Shin’ichi Oishi
+	Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel	2004	Sunao Murashige Shin’ichi Oishi
+	Numerical verification of nonexistence of solutions for separable nonlinear equations and its application to all solutions algorithm	2003	Yusuke Nakaya Shin’ichi Oishi Masahide Kashiwagi Yuchi Kanzawa
+	The self-validating numerics-a new tool for computer assisted proofs of nonlinear problems	2003	Shin’ichi Oishi
+ PDF Chat	An Algorithm for Iteratively Refining the Interval Including the Solution Set of Parameter‐Dependent Nonlinear Equations	2002	Yuchi Kanzawa Masahide Kashiwagi Shin’ichi Oishi
+	Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation	2001	Shin’ichi Oishi
+	Numerical Method Proving Nonlinear ODE's Solution Existence Using Affine Arithmetic	2001	Yuchi Kanzawa Shin’ichi Oishi
+	An Algorithm of Finding All Solutions with Guaranteed Accuracy for ODEs within Finite Steps	2000	Takao Soma Shin’ichi Oishi
+	Proceedings 2000 International Symposium on Nonlinear Theory and its Applications : TU Dresden Conference Center, Dresden, Germany, September 17-21, 2000	2000	Shin’ichi Oishi W. H. Eugen Schwarz
+	An algorithm for finding all solutions of parameter-dependent nonlinear equations with guaranteed accuracy	1999	Yuchi Kanzawa Masahide Kashiwagi Shin’ichi Oishi
+	An algorithm for finding all solutions of parameter‐dependent nonlinear equations with guaranteed accuracy	1999	Yuchi Kanzawa Masahide Kashiwagi Shin’ichi Oishi
+	Imperfect Singular Solutions of Nonlinear Equations and a Numerical Method of Proving Their Existence	1999	Yuichi Kanzawa Shin’ichi Oishi
+	A Numerical Method to Prove the Existence of Solutions for Ordinary Differential Equations using L_2 norm	1998	Takatomi Miyata Takao Soma Yuchi Kanzawa Shin’ichi Oishi Kazuo Horiuchi
+	A Numerical Method to Prove the Existence of Solutions for Ordinary Differential Equations	1998	Takatomi Miyata Takao Souma Yuchi Kanzawa Shin’ichi Oishi Kazuo Horiuchi
+	A Method to Prove the Existence of Periodic Solutions for Nonlinear Ordinary Differential Equations	1998	Yuchi Kanzawa Shin’ichi Oishi
+	A Numerical Method for Nonexistence Test of Solution of Nonlinear Equations Using Interior Point Method	1998	Akihiko Musha Yusuke Nakaya Shin’ichi Oishi Kazuo Horiuchi
+ PDF Chat	Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy	1998	Yusuke Nakaya Shin’ichi Oishi
+	Numerical Validation for Nonlinear Boundary Values Problems Using Piecewise Smooth Function	1997	Yoshinari Oda Yuchi Kanzawa Shin’ichi Oishi Takao Souma
+	Numerical Verification of Existence of Turning Points of Two-Point Boundary-value Problems	1997	Takao Souma Yuchi Kanzawa Shin’ichi Oishi Kazuo Horiuchi
+	A Numerical Method to Prove the Existence of Solutions for Nonlinear Operator Equations	1997	Takao Souma Yuchi Kanzawa Shin’ichi Oishi
+	Approximate Singular Solutions of Nonlinear Equations and a Numerical Method of Proving thier Existence	1997	Yuchi Kanzawa Shin’ichi Oishi
+	Numerical Method for Checking Nonexistence of Solution of Nonlinear Equations Using Optimization	1997	Yusuke Nakaya Shin’ichi Oishi
+	A Numerical method with Guaranteed Accuracy for Complex Number Solutions of Nonlinear Systems of Equations	1997	Hideyuki Teraoka Shin’ichi Oishi Yuchi Kanzawa
+	Numerical Method of Nonlinear Systems of Equations Using Circular Arithmetic of Complex with Guaranteed Accuracy.	1997	Oue Katsuhiro Shin’ichi Oishi
+	Numerical Validation for Nonlinear Boundary Value Problems Using Power Series Arithmetic	1996	Hiroshi Kurihara Yuchi Kanzawa Shin’ichi Oishi Takao Souma
+	Numerical Method of Calculating Bifurcation Points with Guaranteed Accuracy	1996	Tomohito Nakai Yuchi Kanzawa Shin’ichi Oishi
+	An Iterative Refinment Method for Solutions of Nonlinear Ordinary Differential Equations with Arbitrarily Pricision	1996	Takao Soma Shin’ichi Oishi Kazuo Horiuchi
+	Approximate Singular Solutions of Nonlinear Equations and a Numerical Method of Proving their Existence	1996	Kazunari Kawano Yuchi Kanzawa Shin’ichi Oishi
+	An Approach to Trace Solution Curve of Nonlinear Equations	1995	Yuchi Kanzawa Shin’ichi Oishi
+	Numerical Method of Calculating Hopf Bifurcation Point with Guaranteed Accuracy	1995	Takao Souma Yuchi Kanzawa Shin’ichi Oishi Kauzo Horiuchi
+	An Interval Method of Proving Existence of Solutions for Nonlinear Boundary Value Problems	1995	Shin’ichi Oishi
+	Numerical verification of existence and inclusion of solutions for nonlinear operator equations	1995	Shin’ichi Oishi
+	Two topics in nonlinear system analysis through fixed point theorems	1994	Shin’ichi Oishi
+	Singular point analysis for dynamical systems with many parameters‐an application to an asymmetrically and densely connected neural network model	1994	Hisaaki Tanaka Atsushi Okada Kazuo Horiuchi Shin’ichi Oishi
+	Numerical Verification of Algebraic Non-integrability for High Dimensional Dynamical Systems (Special Section of Letters Selected from the 1993 IEICE Spring Conference)	1993	Hisa-Aki Tanaka Shin’ichi Oishi Atsushi Okada
+	An estimation method of region guaranteeing existence of a solution path in Newton type homotopy method	1993	Mitsunori Makino Masahide Kashiwagi Shin’ichi Oishi Kazuo Horiuchi
+	Numerical verification of algebraic non-integrability for high dimensional dynamical systems	1993	Hisa Aki Tanaka Shin’ichi Oishi Atsushi Okada
+	A Sufficient Condition of A Priori Estimation for Computational Complexity of the Homotopy Method (Special Section on Neural Nets, Chaos and Numerics)	1993	Mitsunori Makino Masahide Kashiwagi Shin’ichi Oishi Kazuo Horiuchi
+	A Modified Newton Method with Guaranteed Accuracy Based on Rational Arithmetic (Special Section on Neural Nets, Chaos and Numerics)	1993	Akira Inoue Masahide Kashiwagi Shin’ichi Oishi Mitsunori Makino
+	Sufficient condition of a priori estimation for computational complexity of the homotopy method	1993	Mitsunori Makino Masahide Kashiwagi Shin’ichi Oishi Kazuo Horiuchi
+	A modified Newton method with guaranteed accuracy based on rational arithmetic	1993	Akira Inoue Masahide Kashiwagi Shin’ichi Oishi Mitsunori Makino
+	The self-validating numerical method-A new tool for computer assisted proofs of nonlinear problems	1992	Shin’ichi Oishi
+	An Urabe Type A Posteriori Stopping Criterion and a Globally Convergent Property of the Simplicial Approximate Homotopy Method	1991	Mitsunori Makino Shin’ichi Oishi Masahide Kashiwagi Kazuo Horiuchi
+	Computational complexity of the homotopy method for calculating solutions of strongly monotonic resistive circuit equations	1991	M. Makino Shin’ichi Oishi Masahide Kashiwagi Kazuo Horiuchi
+	Constructive analysis for infinite‐dimensional nonlinear systems—infinite‐dimensional version of homotopy method	1991	Mitsunori Makino Shin’ichi Oishi
+	A Urabe type convergence theorem for a constructive simplified Newton method in infinite dimensional spaces	1991	Shin’ichi Oishi Minoru Kashiwagi M. Makino Kazumi Horiuchi
+	Computational Complexity of Calculating Solutions for a Certain Class of Uniquely Solvable Nonlinear Equation by Homotopy Method	1990	Mitsunori Makino Shin’ichi Oishi Masahide Kashiwagi Kazuo Horiuchi
+	Fundamental Theory of Simulating Infinite dimensional Nonlinear Systems	1988	Shin’ichi Oishi Kazuo Horiuchi Mitsunori Makino Jun aramomi Tatsuo Hayashi Yutaka Oyatsu
+	Steady-state analysis of nonlinear oscillatory circuits by a simplicial homotopymethod	1986	Kiyotaka Yamamura Etsuko Katayama Shin’ichi Oishi Kazuo Horiuchi
+	RATE RISK THEORY - INFORMATION THEORETIC APPROACH TO STATISTICAL DECISION.	1986	F. Kanaya Shin’ichi Oishi
+	A constructive approach to the analysis of nonlinear resistive circuits based on the fixed point algorithm theory	1985	Regular Member Yuzo Sumi Shin’ichi Oishi Tadaaki Takase Regular Members Kazuo Horiuchi
+	A PL homotopy continuation method with the use of an odd map for the artificial level	1985	M. Kojima Shin’ichi Oishi Y Sumi Kazumi Horiuchi
+	ITERATIVE DECOMPOSITION METHOD WITH MESH REFINEMENTS FOR NUMERICAL SOLUTION OF NONLINEAR TW0-POINT BOUNDARY VALUE PROBLEMS.	1985	Kiyotaka Yamamura Shin’ichi Oishi Kazuo Horiuchi
+	A New Approach to Completely Integrable Partial Differential Equations by Means of the Singularity Analysis	1985	Hitoshi Harada Shin’ichi Oishi
+	Simplicial homotopy method for the solution of nonlinear two‐point boundary value problems	1985	Kiyotaka Yamamura Shin’ichi Oishi Kazuo Horiuchi
+	A New Approach to Completely Integrable Partial Differential Equations by Means of the Singularity Analysis	1985	Hitoshi Harada Shin’ichi Oishi
+	Simplicial fixed points algorithms for finding several solutions of nonlinear circuits	1984	Tadaaki Takase Shin’ichi Oishi Hideaki Io Kiyotaka Yamamura
+	A decomposition method and acceleration techniques for a fixed point algorithm	1984	Kiyotaka Yamamura Shin’ichi Oishi Kazuo Horiuchi
+	Algorithms for solving systems of nonlinear equations by Kevorkian's decomposition method and their quadratic convergence property	1983	Kiyotaka Yamamura Shin’ichi Oishi Kazuo Horiuchi
+	Vector labelling method in fixed points algorithm and array processors	1983	Shin’ichi Oishi Tadaaki Takase Kiyotaka Yamamura
+	PSEUDO-RANDOM NUMBER GENERATORS AND CHAOS.	1982	Shin’ichi Oishi Hajime Inoue
+	Bilinearization of the Painlevé Equations	1980	Shin’ichi Oishi
+	A Method of Analysing Soliton Equations by Bilinearization	1980	Shin’ichi Oishi
+	An analysis of soliton transmission equations reducible to a certain type of coupled bilinear equations	1980	Shin’ichi Oishi
+	A Method of Constructing Generalized Soliton Solutions for Certain Bilinear Soliton Equations	1979	Shin’ichi Oishi
+	Relationship between Hirota's Method and the Inverse Spectral Method–The Korteweg-de Vries Equation's Case–	1979	Shin’ichi Oishi

Common Coauthors

Coauthor	Papers Together
Kouta Sekine	20
Yuchi Kanzawa	19
Kazuaki Tanaka	18
Kazuo Horiuchi	18
Masahide Kashiwagi	18
Akitoshi Takayasu	17
Makoto Mizuguchi	15
Takeshi Ogita	12
Siegfried M. Rump	9
Mitsunori Makino	9
Takayuki Kubo	8
Tetsuo Nishi	8
Mitsuhiro T. Nakao	8
Norikazu Takahashi	7
Kiyotaka Yamamura	7
Takao Souma	6
Yoshihito Ogasawara	4
Yusuke Nakaya	4
Tetsuro Yamamoto	4
Koichi OZAKI	4
Katsuhisa Ozaki	3
Michael Plum	3
Sunao Murashige	3
Taisei Asai	3
Tadaaki Takase	3
Atsushi Okada	3
Takao Soma	3
Tetsuo Nishi	3
Xuefeng Liu	2
Kaname Matsue	2
Kazuhiro Ichihara	2
Hitoshi Harada	2
Takatomi Miyata	2
Takiko Sasaki	2
Takahashi Norikazu	2
Naoya Yamanaka	2
M. Makino	2
Yuka Yanagisawa	2
Neil Hoffman	2
Qing Fang	2
Xuefeng Liu	2
Chun’guang You	2
Hidetoshi Masai	2
Takayuki Kubo	2
Kazumi Horiuchi	2
Akira Inoue	2
Hisa-Aki Tanaka	1
Tatsuo Hayashi	1
Jun aramomi	1
Shinya Miyajima	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Numerical verification of existence and inclusion of solutions for nonlinear operator equations	1995	Shin’ichi Oishi	9
+	Computer-assisted existence proofs for two-point boundary value problems	1991	Michael Plum	9
+	Elliptic Problems in Nonsmooth Domains	2011	Pierre Grisvard	8
+	Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations	2019	Mitsuhiro T. Nakao Michael Plum Yoshitaka Watanabe	8
+ PDF Chat	Problèmes isopérimétriques et espaces de Sobolev	1976	Thierry Aubin	8
+ PDF Chat	Computer-assisted proofs for semilinear elliptic boundary value problems	2009	Michael Plum	8
+ PDF Chat	Best constant in Sobolev inequality	1976	Giorgio Talenti	7
+	Functional analysis in normed spaces	1952	L. V. Kantorovich G.P. AKILOV D. E. Brown A. P. Robertson	6
+	NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS	2001	Mitsuhiro Nakao	6
+	Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities	2002	Élliott H. Lieb	6
+	Bounds for eigenvalues of second-order elliptic differential operators	1991	Michael Plum	5
+ PDF Chat	On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems	2013	Takehiko Kinoshita Takuma Kimura Mitsuhiro T. Nakao	5
+	Computer-assisted enclosure methods for elliptic differential equations	2001	Michael Plum	5
+	Existence Theorems and a Solution Algorithm for Piecewise-Linear Resistor Networks	1977	Tomoaki Ohtsuki T. Fujisawa Shinya Kumagai	5
+ PDF Chat	ON EXPLICIT BOUNDS IN THE ERROR FOR THE $ mathrm{H_o^1} $-PROJECTION INTO PIECEWISE POLYNOMIAL SPACES	1999	Seiji Kimura Nobito Yamamoto	4
+	A Posteriori Error Bounds for Two-Point Boundary Value Problems	1981	Gershon Kedem	4
+	Enclosures for Weak Solutions of Nonlinear Elliptic Boundary Value Problems	1994	Michael Plum	4
+	Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods	1979	Peter Deuflhard Gerhard Heindl	4
+	Sharp numerical inclusion of the best constant for embedding <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si26.gif" display="inline" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mi>Ω</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>↪</mml:mo><mml:msup><mml:mrow><mml:mi>L</mml:mi></mml:mrow><mml:mrow><mml:mi>p</mml:mi></mml:mrow></…	2016	Kazuaki Tanaka Kouta Sekine Makoto Mizuguchi Shin’ichi Oishi	4
+	Positive solutions of nonlinear elliptic equations involving critical sobolev exponents	1983	Haı̈m Brezis Louis Nirenberg	4
+	Sufficient Conditions for the Existence of a Primitive Chaotic Behavior	2010	Yoshihito Ogasawara	4
+	On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems	2011	Mitsuhiro T. Nakao Takehiko Kinoshita Takuma Kimura	4
+	The calculation of guaranteed bounds for eigenvalues using complementary variational principles	1991	H. C. Heinrich Behnke	4
+	Safe Starting Regions for Iterative Methods	1977	Ramon E. Moore S. T. Jones	4
+	Semigroups of Linear Operators and Applications to Partial Differential Equations	1983	A. Pazy	4
+	Abstract Parabolic Evolution Equations and their Applications	2009	Atsushi Yagi	4
+	On the Convergence Rate of Algorithms for Solving Equations that are Based on Methods of Complementary Pivoting	1977	Romesh Saigal	4
+	Theoretical Numerical Analysis	2009	Weimin Han Kendall Atkinson	3
+	Computational Complexity of Calculating Solutions for a Certain Class of Uniquely Solvable Nonlinear Equation by Homotopy Method	1990	Mitsunori Makino Shin’ichi Oishi Masahide Kashiwagi Kazuo Horiuchi	3
+	Quantitative universality for a class of nonlinear transformations	1978	Mitchell J. Feigenbaum	3
+	A uniqueness result for a semilinear elliptic problem: A computer-assisted proof	2009	P. J. McKenna Filomena Pacella Michael Plum D. Roth	3
+	Degree-independent Sobolev extension on locally uniform domains	2006	Luke G. Rogers	3
+ PDF Chat	Deterministic Nonperiodic Flow	1963	Edward N. Lorenz	3
+	Addendum to “Sufficient Conditions for the Existence of a Primitive Chaotic Behavior”	2011	Yoshihito Ogasawara Shin’ichi Oishi	3
+	How random is a coin toss?	1983	Joseph Ford	3
+ PDF Chat	The Free Will Theorem	2006	J. Conway Simon Kochen	3
+	Biological Populations with Nonoverlapping Generations: Stable Points, Stable Cycles, and Chaos	1974	Robert M. May	3
+	Randomly transitional phenomena in the system governed by Duffing's equation	1979	Yoshisuke Ueda	3
+	INVERSION FORMULAS FOR TRIDIAGONAL MATRICES WITH APPLICATIONS TO BOUNDARY VALUE PROBLEMS<sup>*</sup>	2001	Tetsuro Yamamoto	3
+ PDF Chat	Inversion of extremely Ill-conditioned matrices in floating-point	2009	Siegfried M. Rump	3
+ PDF Chat	Symmetry and related properties via the maximum principle	1979	Basilis Gidas Wei‐Ming Ni Louis Nirenberg	3
+ PDF Chat	Elliptic Partial Differential Equations of Second Order	2001	David Gilbarg Neil S. Trudinger	3
+	Sharp Sobolev Inequalities on the Sphere and the Moser--Trudinger Inequality	1993	William Beckner	3
+ PDF Chat	Free randomness can be amplified	2012	Roger Colbeck Renato Renner	3
+	On a decomposition space of a weak self-similar set	2004	Akihiko Kitada Yoshihito Ogasawara	3
+ PDF Chat	Norm estimates for a maximal right inverse of the divergence operator in spaces of piecewise polynomials	1985	L. Ridgway Scott Michael Vogelius	3
+	Homogeneous difference schemes of a high degree of accuracy on non-uniform nets	1962	A.N. Tikhonov A.A. Samarskii	3
+ PDF Chat	On the approximation-solvability of equations involving 𝐴-proper and pseudo-𝐴-proper mappings	1975	W. V. Petryshyn	3
+	An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations	2004	Mitsuhiro T. Nakao Yoshitaka Watanabe	3
+ PDF Chat	Hidden variables and the two theorems of John Bell	1993	N. David Mermin	3