Invertibility of a Linearized Boussinesq Flow: A Symbolic Approach
Authors
Elgindi, TM; Pasqualotto, F
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.