Algorithmic Thomas decomposition of algebraic and differential systems

Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz. Algorithmic Thomas decomposition of algebraic and differential systems. Journal of Symbolic Computation, 47(10):1233-1266, 2012. [doi]

Abstract

Abstract is missing.