Pages that link to "Item:Q5949506"

The following pages link to Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations (Q5949506):

Displaying 9 items.

• A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136) (← links)
• Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation (Q701913) (← links)
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems (Q1195791) (← links)
• Numerical verification of solutions for nonlinear hyperbolic equations (Q1375852) (← links)
• Numerical existence and uniqueness proof for solutions of semilinear parabolic equations (Q1600357) (← links)
• Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
• Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
• Numerical verification method for solutions of nonlinear hyperbolic equations (Q2738490) (← links)
• A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations (Q3114589) (← links)