navierstokes
From MaRDI portal
Software:56325
swMATH40625MaRDI QIDQ56325FDOQ56325
Author name not available (Why is that?)
Cited In (8)
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Rigorous validation of stochastic transition paths
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- Rigorous FEM for One-Dimensional Burgers Equation
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- 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
This page was built for software: navierstokes