Improved Kolchin-Ritt algorithm

DOI10.1023/A:1022996615890zbMath1065.68114MaRDI QIDQ1429036

Giuseppa Carrà Ferro, Vladimir P. Gerdt

Publication date: 29 March 2004

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

characteristic sets; finitely generated differential ideals

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

35R45: Partial differential inequalities and systems of partial differential inequalities

12H05: Differential algebra