Invertibility of a linearized Boussinesq flow: a symbolic approach

We develop a computer-assisted symbolic method to show that a linearized Boussinesq flow in self-similar coordinates gives rise to an invertible operator.