navierstokes

MaRDI QIDQ56325swMATHFDO

Official website https://www.math.vu.nl/~janbouwe/code/navierstokes/

Described by source

• Spontaneous periodic orbits in the Navier-Stokes flow

Cited in

(17)

• RadiiPolynomial.jl
• A Hopf bifurcation in the planar Navier-Stokes equations
• Rigorous validation of stochastic transition paths
• Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
• A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
• Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
• Rigorous FEM for One-Dimensional Burgers Equation
• Ada95
• INTLAB
• galepu
• CkAnalytic
• IntervalArithmetic.jl
• RODES
• CAPD DynSys
• NLsolve.jl
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations

This page was built for software: navierstokes