18 results on '"Akitoshi Takayasu"'
Search Results
2. Complex moment-based methods for differential eigenvalue problems.
3. Rigorous numerics for nonlinear heat equations in the complex plane of time.
4. Complex moment-based methods for differential eigenvalue problems.
5. Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems.
6. Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature.
7. Numerical validation of blow-up solutions with quasi-homogeneous compactifications.
8. Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time.
9. A geometric characterization of unstable blow-up solutions with computer-assisted proof.
10. Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems.
11. Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity.
12. Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems.
13. Numerical validation of blow-up solutions of ordinary differential equations.
14. Numerical verification for existence of a global-in-time solution to semilinear parabolic equations.
15. A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory.
16. Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator.
17. Verified Computations for Hyperbolic 3-Manifolds.
18. Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.