A normal form algorithm for regular differential chains
From MaRDI portal
Publication:541963
DOI10.1007/s11786-010-0060-3zbMath1218.68202MaRDI QIDQ541963
François Lemaire, François Boulier
Publication date: 8 June 2011
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-010-0060-3
normal form; power series; computer algebra; differential algebra; characteristic set; regular differential chain
68W30: Symbolic computation and algebraic computation
12H05: Differential algebra
68-04: Software, source code, etc. for problems pertaining to computer science
Related Items
On Symbolic Approaches to Integro-Differential Equations, Model reduction of chemical reaction systems using elimination, A short contribution to the theory of regular chains
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing representations for radicals of finitely generated differential ideals
- Efficient computation of zero-dimensional Gröbner bases by change of ordering
- Factorization-free decomposition algorithms in differential algebra
- On the theories of triangular sets
- Contribution to the Picard-Vessiot Theory of Homogeneous Linear Differential Equations
- Computing canonical representatives of regular differential ideals
- Abstract Differential Algebra and the Analytic Case
- Abstract Differential Algebra and the Analytic Case. II
- Specializations in Differential Algebra
- On the translation of languages from left to right