Thomas Decomposition of Algebraic and Differential Systems

Thomas Bächler, Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz. Thomas Decomposition of Algebraic and Differential Systems. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings. Volume 6244 of Lecture Notes in Computer Science, pages 31-54, Springer, 2010. [doi]

Abstract

Abstract is missing.