Pages that link to "Item:Q1294085"

The following pages link to A numerically based existence theorem for the Navier-Stokes equations (Q1294085):

Displaying 16 items.

• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
• Vortices of large scale appearing in the 2D stationary Navier-Stokes equations at large Reynolds numbers (Q623720) (← links)
• Estimates of deviations from the exact solution of a generalized Oseen problem (Q744528) (← links)
• A construction of two different solutions to an elliptic system (Q1635604) (← links)
• Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
• A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives (Q1880945) (← links)
• Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration (Q1880946) (← links)
• Localized forms of the LBB condition and a posteriori estimates for incompressible media problems (Q1997008) (← links)
• Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
• Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)
• Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers (Q3196558) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Computer-assisted enclosure methods for elliptic differential equations (Q5929750) (← links)
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)