Text this: Formal Algorithmic Elimination for PDEs