activity
20132026
most citedSingularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity

9 citations · 45 across the 19 of their papers we have counts for

collaborators
Showing 2016Show all

2 papers · 1 filter

math.NA2016★ 1 cited

Accurate method of verified computing for solutions of semilinear heat equations

Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo +1

We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqu…

math.NA2016★ 1 cited

Numerical validation of blow-up solutions of ordinary differential equations

Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki +3

This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on c…