Algorithmic Thomas decomposition of algebraic and differential systems
From MaRDI portal
Publication:432753
DOI10.1016/j.jsc.2011.12.043zbMath1315.35013arXiv1108.0817MaRDI QIDQ432753
Daniel Robertz, Markus Lange-Hegermann, Thomas Bächler, Vladimir P. Gerdt
Publication date: 4 July 2012
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1108.0817
differential systems; polynomial systems; involutivity; disjoint triangular decomposition; simple systems
Uses Software