Symbolic Computation for Rankin-Cohen Differential Algebras: A Case Study. - Eleanor Farrington; Emma Previato (Math. Comput. Sci., 2017)