1 paper
Tarek M. Elgindi, Federico Pasqualotto
We develop a computer-assisted symbolic method to show that a linearized Boussinesq flow in self-similar coordinates gives rise to an invertible operator.