This repository contains three separate Maple worksheets using computational algebra to prove projective hypoellipticity and chaos in Galerkin truncations of Stochastic Navier-Stokes. Please refer to the associated ArXiv preprint https://arxiv.org/abs/2106.13748 for more information.