Thomas Decomposition of Algebraic and Differential Systems. - Thomas Bächler; Vladimir P. Gerdt; Markus Lange-Hegermann; Daniel Robertz (CASC, 2010)

Thomas decomposition and its applications. - Thomas Bächler; Vladimir P. Gerdt; Markus Lange-Hegermann; Wilhelm Plesken; Daniel Robertz (ACM Commun. Comput. Algebra, 2010)

Algorithmic Thomas decomposition of algebraic and differential systems. - Thomas Bächler; Vladimir P. Gerdt; Markus Lange-Hegermann; Daniel Robertz (J. Symb. Comput., 2012)