TY  - RPRT
TI  - The Structure of Differential Invariants and Differential Cut Elimination
AU  - Andre Platzer
PY  - 2012
DO  - 10.2168/lmcs-8(4:16)2012
UR  - https://arxiv.org/abs/1104.1987
ID  - 1104.1987
ER  -