Formelrechnung

German for => any kind of mathematical treatment of formulae