Invertibility of a linearized Boussinesq flow: a symbolic approach
arXiv:2310.19781
Abstract
We develop a computer-assisted symbolic method to show that a linearized Boussinesq flow in self-similar coordinates gives rise to an invertible operator.
The argument involves 7 Matlab files, which are attached to this submission