Pages that link to "Item:Q5380617"

The following pages link to Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (Q5380617):

Displaying 50 items.

• Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
• A Hopf bifurcation in the planar Navier-Stokes equations (Q2050575) (← links)
• Numerical verification for asymmetric solutions of the Hénon equation on bounded domains (Q2050927) (← links)
• Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs (Q2060646) (← links)
• Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
• A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← links)
• Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
• Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
• Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
• Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
• A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
• 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 (Q2217873) (← links)
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
• A counterexample to Payne's nodal line conjecture with few holes (Q2246951) (← links)
• Rigorous continuation of periodic solutions for impulsive delay differential equations (Q2247173) (← links)
• Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
• Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration (Q2917687) (← links)
• (Q4851600) (← links)
• Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
• Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
• Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
• Practical Error Bounds for Properties in Plane-Wave Electronic Structure Calculations (Q5043365) (← links)
• Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem (Q5047142) (← links)
• Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
• Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
• Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases (Q5121400) (← links)
• Computation of Tight Enclosures for Laplacian Eigenvalues (Q5132011) (← links)
• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
• Eigenvalue Analysis of the Lax Operator for the One-Dimensional Cubic nonlinear Defocusing Schrödinger Equation (Q6090008) (← links)
• An overview of \textit{a posteriori} error estimation and post-processing methods for nonlinear eigenvalue problems (Q6095086) (← links)
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
• Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
• Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs (Q6112545) (← links)
• Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model (Q6139059) (← links)
• Numerical verification method on complex ODEs for existence of global solutions within finite domains (Q6139486) (← links)
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
• Smooth self-similar imploding profiles to 3D compressible Euler (Q6155889) (← links)
• A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
• A review note on arbitrary precision arithmetic (Q6175903) (← links)
• Computer Science for Continuous Data (Q6487409) (← links)
• Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation (Q6498436) (← links)
• Guaranteed lower eigenvalue bounds for Steklov operators using conforming finite element methods (Q6557148) (← links)
• Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
• Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405) (← links)
• Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence (Q6635959) (← links)
• Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points (Q6645959) (← links)