𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algorithmic Thomas decomposition of algebraic and differential systems

✍ Scribed by Thomas Bächler; Vladimir Gerdt; Markus Lange-Hegermann; Daniel Robertz


Book ID
113756578
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
461 KB
Volume
47
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Factorization-free Decomposition Algorit
✍ Evelyne Hubert 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 371 KB

Insight on the structure of differential ideals defined by coherent autoreduced set allows one to uncouple the differential and algebraic computations in a decomposition algorithm. Original results as well as concise new proofs of already presented theorems are exposed. As a consequence, an effectiv