Formal Algorithmic Elimination for PDEs - Robertz, Daniel. (Springer International Publishing,)