TY  - RPRT
TI  - Algorithmic Thomas Decomposition of Algebraic and Differential Systems
AU  - Thomas Bächler
AU  - Vladimir Gerdt
AU  - Markus Lange-Hegermann
AU  - Daniel Robertz
PY  - 2011
UR  - https://arxiv.org/abs/1108.0817
ID  - 1108.0817
ER  -