Pages that link to "Item:Q2321033"

The following pages link to Computer-assisted proofs in PDE: a survey (Q2321033):

Displaying 25 items.

• Any three eigenvalues do not determine a triangle (Q828329) (← links)
• Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
• A Hopf bifurcation in the planar Navier-Stokes equations (Q2050575) (← links)
• Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs (Q2060646) (← 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)
• Gravitational collapse for polytropic gaseous stars: self-similar solutions (Q2112016) (← links)
• Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
• Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← links)
• A counterexample to Payne's nodal line conjecture with few holes (Q2246951) (← links)
• Asymptotically self-similar blowup of the Hou-Luo model for the 3D Euler equations (Q2680309) (← links)
• Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
• Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
• Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
• Computer‐assisted analysis of chaos in a three‐species food chain model (Q6091789) (← links)
• Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
• Highest cusped waves for the Burgers-Hilbert equation (Q6116674) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← 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)
• Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations (Q6195976) (← links)