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
- DOI: 10.1016/j.jsc.2011.12.043
- REPORT NUMBER: RWTH-CONV-067503