Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator., , , and . MACIS, volume 9582 of Lecture Notes in Computer Science, page 218-223. Springer, (2015)Numerical validation of blow-up solutions with quasi-homogeneous compactifications., and . Numerische Mathematik, 145 (3): 605-654 (2020)Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity., and . J. Comput. Appl. Math., (2020)Numerical verification for existence of a global-in-time solution to semilinear parabolic equations., , , and . J. Comput. Appl. Math., (2017)Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems., , and . J. Comput. Appl. Math., (2020)Complex moment-based methods for differential eigenvalue problems., , and . Numer. Algorithms, 92 (1): 693-721 (January 2023)Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature., , and . J. Nonlinear Sci., 33 (3): 46 (June 2023)Verified Computations for Hyperbolic 3-Manifolds., , , , , and . Experimental Mathematics, 25 (1): 66-78 (2016)A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory., , , and . SIAM J. Numerical Analysis, 55 (2): 980-1001 (2017)Correction to: Rigorous numerics for nonlinear heat equations in the complex plane of time., , , and . Numerische Mathematik, 151 (3): 751-752 (2022)