navierstokes
From MaRDI portal
Software:56325
No author found.
Related Items (8)
A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions ⋮ A Hopf bifurcation in the planar Navier-Stokes equations ⋮ Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Rigorous validation of stochastic transition paths ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
This page was built for software: navierstokes
