Symbolic-numeric computation of implicit riquier bases for PDE
Wenyuan Wu, Greg J. Reid · 2007
Riquier Bases for systems of analytic pde are, loosely speaking, a differential analogue of Gröbner Bases for polynomial equations. They are determined in the exact case by applying a sequence of prolongations (differentiations) and eliminations to an input system of pde.