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]
No references recorded for this publication.
No citations of this publication recorded.