Algorithmic Thomas decomposition of algebraic and differential systems

Bächler, Thomas (Author); Gerdt, Vladimir P. (Author); Lange-Hegermann, Markus (Author); Robertz, Daniel (Author)

Amsterdam / Elsevier (2012) [Buchbeitrag, Fachzeitschriftenartikel]

Journal of symbolic computation
Band: 47
Ausgabe: 10
Seite(n): 1233-1266

Identifikationsnummern