A normal form algorithm for regular differential chains

DOI10.1007/s11786-010-0060-3zbMath1218.68202OpenAlexW2061258302MaRDI 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

zbMATH Keywords

normal formpower seriescomputer algebradifferential algebracharacteristic setregular differential chain

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (3)

Model reduction of chemical reaction systems using elimination ⋮ On Symbolic Approaches to Integro-Differential Equations ⋮ A short contribution to the theory of regular chains

Uses Software

• Epsilon
• Maple
• DifferentialAlgebra

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

This page was built for publication: A normal form algorithm for regular differential chains