DOI10.1007/978-981-13-7669-6zbMath1462.65004OpenAlexW2987306853MaRDI QIDQ5380617
Michael Plum, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Publication date: 5 June 2019
Published in: Springer Series in Computational Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-981-13-7669-6
Microscopic patterns in the 2D phase-field-crystal model,
Validated Spectral Stability via Conjugate Points,
Practical Error Bounds for Properties in Plane-Wave Electronic Structure Calculations,
Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds,
Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem,
A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions,
Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof,
Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents,
Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature,
Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd,
Eigenvalue Analysis of the Lax Operator for the One-Dimensional Cubic nonlinear Defocusing Schrödinger Equation,
An overview of \textit{a posteriori} error estimation and post-processing methods for nonlinear eigenvalue problems,
Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces,
Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems,
Periodic orbits in Hořava-Lifshitz cosmologies,
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs,
Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model,
Numerical verification method on complex ODEs for existence of global solutions within finite domains,
Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem,
Smooth self-similar imploding profiles to 3D compressible Euler,
A Posteriori Validation of Generalized Polynomial Chaos Expansions,
A review note on arbitrary precision arithmetic,
Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases,
Computation of Tight Enclosures for Laplacian Eigenvalues,
A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator,
A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations,
A counterexample to Payne's nodal line conjecture with few holes,
Rigorous continuation of periodic solutions for impulsive delay differential equations,
Equilibrium validation in models for pattern formation based on Sobolev embeddings,
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems,
A Hopf bifurcation in the planar Navier-Stokes equations,
Numerical verification for asymmetric solutions of the Hénon equation on bounded domains,
Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs,
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems,
Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains,
A posteriori verification of the positivity of solutions to elliptic boundary value problems,
Rigorous verification of Hopf bifurcations in functional differential equations of mixed type,
Global dynamics in nonconservative nonlinear Schrödinger equations,
Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications,
Rigorous FEM for One-Dimensional Burgers Equation
