If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Shinichi Oishi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Nonlinear equations Engineering & Materials Science
Numerical Verification Mathematics
Floating point Mathematics
Boundary value problems Engineering & Materials Science
Phase locked loops Engineering & Materials Science
Matrix multiplication Mathematics
Two-point Boundary Value Problem Mathematics
Numerical methods Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1979 2017

  • 921 Citations
  • 12 h-Index
  • 98 Article
  • 17 Conference contribution
  • 3 Chapter

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.

Research output: Contribution to journalArticle

Semilinear Heat Equation
Computing
Numerical Verification
Analytic Semigroup
Evolution Operator
2 Citations (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.

Research output: Contribution to journalArticle

Semigroup Theory
Semilinear Parabolic Equation
Initial-boundary-value Problem
Boundary value problems
Banach Fixed Point Theorem
3 Citations (Scopus)
Sobolev Embedding
Convex Domain
Bounded Domain
Lipschitz Domains
Extension Operator
10 Citations (Scopus)

Numerical validation of blow-up solutions of ordinary differential equations

Takayasu, A., Matsue, K., Sasaki, T., Tanaka, K., Mizuguchi, M. & Oishi, S., 2017 Apr 1, In : Journal of Computational and Applied Mathematics. 314, p. 10-29 20 p.

Research output: Contribution to journalArticle

Blow-up of Solutions
Lyapunov functions
Ordinary differential equations
Ordinary differential equation
Blow-up Time
4 Citations (Scopus)

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

Mizuguchi, M., Takayasu, A., Kubo, T. & Oishi, S., 2017 May 1, In : Journal of Computational and Applied Mathematics. 315, p. 1-16 16 p.

Research output: Contribution to journalArticle

Numerical Verification
Semilinear Parabolic Equation
Theorem
Sufficient Conditions
Numerical Solution