Algorithmic Thomas decomposition of algebraic and differential systems

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

Amsterdam : Elsevier (2012)
Buchbeitrag, Fachzeitschriftenartikel

In: Journal of symbolic computation
Band: 47
Heft: 10
Seite(n)/Artikel-Nr.: 1233-1266

Einrichtungen

• Lehrstuhl für Algebra und Darstellungstheorie [114410]
• Fachgruppe Mathematik [110000]