Algorithmic Thomas decomposition of algebraic and differential systems

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

Amsterdam : Elsevier (2012)
Contribution to a book, Journal Article

In: Journal of symbolic computation
Volume: 47
Issue: 10
Page(s)/Article-Nr.: 1233-1266

Institutions

  • Chair of Algebra and Representation Theory [114410]
  • Department of Mathematics [110000]

Identifier