Algorithmic Thomas decomposition of algebraic and differential systems

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

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern

  • ISSN: 0747-7171
  • ISSN: 1095-855X