Algorithmic Thomas decomposition of algebraic and differential systems

Amsterdam / Elsevier (2012) [Contribution to a book, Journal Article]

Journal of symbolic computation
Volume: 47
Issue: 10
Page(s): 1233-1266

Authors

Selected Authors

Bächler, Thomas
Gerdt, Vladimir P.
Lange-Hegermann, Markus
Robertz, Daniel

Identifier