Research Output per year

## 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.

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

## 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 journal › Article

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 journal › Article

Semigroup Theory

Semilinear Parabolic Equation

Initial-boundary-value Problem

Boundary value problems

Banach Fixed Point Theorem

3
Citations
(Scopus)

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

Mizuguchi, M., Tanaka, K., Sekine, K. & Oishi, S., 2017 Jan 1, In : Journal of Inequalities and Applications. 2017, 299.Research output: Contribution to journal › Article

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 journal › Article

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 journal › Article

Numerical Verification

Semilinear Parabolic Equation

Theorem

Sufficient Conditions

Numerical Solution