Αποστολή με SMS: Formal Algorithmic Elimination for PDEs