default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShin'ichi Oishi
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i10]Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi:
Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification. CoRR abs/2401.08242 (2024)- 2022
- [j44]Kouta Sekine
, Kazuaki Tanaka, Shin'ichi Oishi:
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. Comput. Math. Appl. 106: 18-26 (2022) - [j43]Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi:
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. Commun. Nonlinear Sci. Numer. Simul. 108: 106223 (2022) - [j42]Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi:
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains. J. Comput. Appl. Math. 399: 113708 (2022) - 2021
- [j41]Makoto Mizuguchi, Mitsuhiro T. Nakao, Kouta Sekine, Shin'ichi Oishi:
Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation. J. Sci. Comput. 89(2): 34 (2021) - [j40]Marko Lange, Shin'ichi Oishi:
Correction to: A note on Dekker's FastTwoSum algorithm. Numerische Mathematik 149(1): 227-228 (2021) - [i9]Xuefeng Liu, Mitsuhiro T. Nakao, Shin'ichi Oishi:
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains. CoRR abs/2101.03727 (2021) - 2020
- [j39]Atsushi Minamihata, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi:
Modified error bounds for approximate solutions of dense linear systems. J. Comput. Appl. Math. 369 (2020) - [j38]Shin'ichi Oishi:
Numerical inclusion of exact periodic solutions for time delay Duffing equation. J. Comput. Appl. Math. 372: 112620 (2020) - [j37]Marko Lange, Shin'ichi Oishi:
A note on Dekker's FastTwoSum algorithm. Numerische Mathematik 145(2): 383-403 (2020) - [j36]Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi:
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. Numerische Mathematik 146(4): 907-926 (2020) - [i8]Taisei Asai, Kazuaki Tanaka, Shin'ichi Oishi:
Numerical verification for asymmetric solutions of the Hénon equation on the unit square. CoRR abs/2002.02160 (2020) - [i7]Xuefeng Liu, Mitsuhiro T. Nakao, Chun'guang You, Shin'ichi Oishi:
Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations. CoRR abs/2006.02952 (2020)
2010 – 2019
- 2019
- [p1]Shin'ichi Oishi, Yusuke Morikura, Kouta Sekine, Hisayasu Kuroda, Maho Nakata:
Techniques Concerning Computation Accuracy. The Art of High Performance Computing for Computational Science, Vol. 1 2019: 191-213 - [i6]Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi:
A new formulation for the numerical proof of the existence of solutions to elliptic problems. CoRR abs/1910.00759 (2019) - [i5]Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi:
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems. CoRR abs/1910.02200 (2019) - 2017
- [j35]Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi:
Sharp numerical inclusion of the best constant for embedding on bounded convex domain. J. Comput. Appl. Math. 311: 306-313 (2017) - [j34]Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi:
Numerical validation of blow-up solutions of ordinary differential equations. J. Comput. Appl. Math. 314: 10-29 (2017) - [j33]Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
Numerical verification for existence of a global-in-time solution to semilinear parabolic equations. J. Comput. Appl. Math. 315: 1-16 (2017) - [j32]Ryo Kobayashi, Takuma Kimura, Shin'ichi Oishi:
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems. Numer. Algorithms 76(1): 33-51 (2017) - [j31]Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory. SIAM J. Numer. Anal. 55(2): 980-1001 (2017) - 2016
- [j30]Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shin'ichi Oishi, Akitoshi Takayasu:
Verified Computations for Hyperbolic 3-Manifolds. Exp. Math. 25(1): 66-78 (2016) - [j29]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi:
Error-free transformation of matrix multiplication with a posteriori validation. Numer. Linear Algebra Appl. 23(5): 931-946 (2016) - 2015
- [j28]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi:
Improvement of error-free splitting for accurate matrix multiplication. J. Comput. Appl. Math. 288: 127-140 (2015) - [j27]Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi, Shin'ichi Oishi:
Numerical verification of positiveness for solutions to semilinear elliptic problems. JSIAM Lett. 7: 73-76 (2015) - [j26]Stef Graillat, Christoph Quirin Lauter, Ping Tak Peter Tang, Naoya Yamanaka, Shin'ichi Oishi:
Efficient Calculations of Faithfully Rounded l2-Norms of n-Vectors. ACM Trans. Math. Softw. 41(4): 24:1-24:20 (2015) - [c9]Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. MACIS 2015: 218-223 - [c8]Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi:
Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. MACIS 2015: 224-228 - 2013
- [j25]Atsushi Minamihata, Kouta Sekine, Takeshi Ogita, Shin'ichi Oishi:
Fast Verified Solutions of Sparse Linear Systems with H-matrices. Reliab. Comput. 19(2): 127-141 (2013) - [j24]Xuefeng Liu, Shin'ichi Oishi:
Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape. SIAM J. Numer. Anal. 51(3): 1634-1654 (2013) - [c7]Tetsuo Nishi, Siegfried M. Rump, Shin'ichi Oishi:
A consideration on the condition number of extremely ill-conditioned matrices. ECCTD 2013: 1-4 - 2012
- [j23]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi:
A robust algorithm for geometric predicate by error-free determinant transformation. Inf. Comput. 216: 3-13 (2012) - [j22]Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi:
Fast algorithms for floating-point interval matrix multiplication. J. Comput. Appl. Math. 236(7): 1795-1814 (2012) - [j21]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump:
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. Numer. Algorithms 59(1): 95-118 (2012) - [c6]Xuefeng Liu, Tomoaki Okayama, Shin'ichi Oishi:
High-Precision Eigenvalue Bound for the Laplacian with Singularities. ASCM 2012: 311-323 - 2011
- [j20]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi:
An algorithm for automatically selecting a suitable verification method for linear systems. Numer. Algorithms 56(3): 363-382 (2011) - [j19]Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi:
Tight and efficient enclosure of matrix multiplication by using optimized BLAS. Numer. Linear Algebra Appl. 18(2): 237-248 (2011) - [j18]Naoya Yamanaka, Masahide Kashiwagi, Shin'ichi Oishi, Takeshi Ogita:
A Note on a Verified Automatic Integration Algorithm. Reliab. Comput. 15(2): 156-167 (2011) - [c5]Tetsuo Nishi, Hiroshi Tanimoto, Shin'ichi Oishi:
Cascade synthesis of RC polyphase one-ports. ECCTD 2011: 102-105 - 2010
- [j17]Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi:
Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. Reliab. Comput. 14: 24-45 (2010)
2000 – 2009
- 2009
- [j16]Shin'ichi Oishi, Kunio Tanabe:
Numerical Inclusion of Optimum Point for Linear Programming. JSIAM Lett. 1: 5-8 (2009) - [c4]Shin'ichi Oishi:
Error free transformations of floating point numbers and its applications to constructing efficient error free numerical algorithms. SNC 2009: 3-4 - [e2]B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump:
Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009. Dagstuhl Seminar Proceedings 09471, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i4]B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump:
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications. Computer-assisted proofs - tools, methods and applications 2009 - [i3]B. Malcolm Brown, Erich L. Kaltofen, Shin'ichi Oishi, Siegfried M. Rump:
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications. Computer-assisted proofs - tools, methods and applications 2009 - 2008
- [j15]Naoya Yamanaka, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi:
A parallel algorithm for accurate dot product. Parallel Comput. 34(6-8): 392-410 (2008) - [j14]Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi:
Accurate Floating-Point Summation Part I: Faithful Rounding. SIAM J. Sci. Comput. 31(1): 189-224 (2008) - [j13]Siegfried M. Rump, Takeshi Ogita, Shin'ichi Oishi:
Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. SIAM J. Sci. Comput. 31(2): 1269-1302 (2008) - 2006
- [j12]Shin'ichi Oishi, Joos Vandewalle:
Special Section on Nonlinear Theory and its Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(10): 2690-2691 (2006) - [e1]Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
Algebraic and Numerical Algorithms and Computer-assisted Proofs, 25.-30. September 2005. Dagstuhl Seminar Proceedings 05391, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j11]Sunao Murashige, Shin'ichi Oishi:
Numerical Verification of Solutions of Nekrasov's Integral Equation. Computing 75(1): 15-25 (2005) - [j10]Takeshi Ogita, Shin'ichi Oishi:
Fast Inclusion of Interval Matrix Multiplication. Reliab. Comput. 11(3): 191-205 (2005) - [j9]Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi:
Accurate Sum and Dot Product. SIAM J. Sci. Comput. 26(6): 1955-1988 (2005) - [c3]Shinya Miyajima, Takeshi Ogita, Shin'ichi Oishi:
Fast Verification for Respective Eigenvalues of Symmetric Matrix. CASC 2005: 306-317 - [i2]Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
05391 Executive Summary - Numerical and Algebraic Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 - [i1]Bruno Buchberger, Shin'ichi Oishi, Michael Plum, Siegfried M. Rump:
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs. Algebraic and Numerical Algorithms and Computer-assisted Proofs 2005 - 2004
- [j8]Nobuyo Kasuga, Katsuhito Itoh, Shin'ichi Oishi, Tomomasa Nagashima:
Study on Relationship between Technostress and Antisocial Behavior on Computers. IEICE Trans. Inf. Syst. 87-D(6): 1461-1465 (2004) - [j7]Sunao Murashige, Shin'ichi Oishi:
Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel. Numer. Algorithms 37(1-4): 301-310 (2004) - [j6]Ken'ichiro Tanaka, Sunao Murashige, Shin'ichi Oishi:
On necessary and sufficient conditions for numerical verification of double turning points. Numerische Mathematik 97(3): 537-554 (2004) - 2003
- [j5]Takeshi Ogita, Shin'ichi Oishi, Yasunori Ushiro:
Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations. Reliab. Comput. 9(3): 229-239 (2003) - [c2]R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico:
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. Numerical Software with Result Verification 2003: 36-63 - 2002
- [j4]Shin'ichi Oishi, Siegfried M. Rump:
Fast verification of solutions of matrix equations. Numerische Mathematik 90(4): 755-773 (2002)
1990 – 1999
- 1998
- [j3]Yusuke Nakaya, Shin'ichi Oishi:
Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy. J. Univers. Comput. Sci. 4(2): 171-177 (1998) - [j2]Shin'ichi Oishi:
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems. J. Univers. Comput. Sci. 4(2): 193-201 (1998) - 1995
- [c1]Hisa-Aki Tanaka, Kazuo Horiuchi, Shin'ichi Oishi:
Chaos from Orbit-Flip Homoclinic Orbits Generated in Real Systems. ISCAS 1995: 263-266
1980 – 1989
- 1985
- [j1]Masakazu Kojima, Shin'ichi Oishi, Yuzo Sumi, Kazuo Horiuchi:
A PL homotopy continuation method with the use of an odd map for the artificial level. Math. Program. 31(2): 235-244 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
