An equivalence theorem for regular differential chains

DOI10.1016/j.jsc.2018.04.011zbMath1422.13023OpenAlexW2549194755MaRDI QIDQ1733300

François Boulier, Marc Moreno Maza, Adrien Poteaux, François Lemaire

Publication date: 21 March 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2018.04.011

zbMATH Keywords

regularityresultantdifferential algebracharacteristic setregular chain

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Modules of differentials (13N05)

Related Items (2)

A short contribution to the theory of regular chains ⋮ Periodic Pólya urns, the density method and asymptotics of Young tableaux

Uses Software

• Maple
• DISCOVERER
• DifferentialThomas
• DIFFALG
• DifferentialAlgebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic Thomas decomposition of algebraic and differential systems
• Formal algorithmic elimination for PDEs
• On the dimension of an arbitrary ascending chain
• A complete algorithm for automated discovering of a class of inequality-type theorems
• Algebraic transformation of differential characteristic decompositions from one ranking to another
• Computing representations for radicals of finitely generated differential ideals
• Characteristic set method for differential-difference polynomial systems
• Computing differential characteristic sets by change of ordering
• A new method for solving algebraic systems of positive dimension
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• On global identifiability for arbitrary model parametrizations
• Factorization-free decomposition algorithms in differential algebra
• Computing triangular systems and regular systems
• On the theories of triangular sets
• The differential ideal \([P : M^ \infty\).]
• Associative differential operations
• On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
• Automatique et corps différentiels
• Comprehensive Triangular Decomposition
• Complexity of quantifier elimination in the theory of ordinary differential equations
• Specializations in Differential Algebra
• Algorithms in real algebraic geometry
• Unmixed-dimensional decomposition of a finitely generated perfect differential ideal

This page was built for publication: An equivalence theorem for regular differential chains