"A Differential Operator Approach to Equational Differential Invariants - ..."

André Platzer (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics