Cited in
(17)- 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
- Ada95
- INTLAB
- galepu
- CkAnalytic
- IntervalArithmetic.jl
- RODES
- CAPD DynSys
- NLsolve.jl
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- A Hopf bifurcation in the planar Navier-Stokes equations
- RadiiPolynomial.jl
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
This page was built for software: navierstokes