Formal Algorithmic Elimination for PDEs
scientific article