Computing canonical representatives of regular differential ideals

DOI10.1145/345542.345571MaRDI QIDQ3454742zbMATH OpenOpenAlexFDO

Authors François Boulier, François Lemaire

Publication date 26 November 2015

Published in Proceedings of the 2000 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/345542.345571

zbMATH Keywords

canonical representativescharacteristic presentationscharacteristic setsdifferential algebralextriangularregular differential idealRosenfeld-Gröbner

Mathematics Subject Classification ID

Differential algebra (12H05) Abstract differential equations (12H20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Computing representations for radicals of finitely generated differential ideals
• scientific article; zbMATH DE number 1254247
• An Improvement of Rosenfeld-Gröbner Algorithm
• A normal form algorithm for regular differential chains
• A bound for the Rosenfeld-Gröbner algorithm

Cited in

(16)

• Algebraic transformation of differential characteristic decompositions from one ranking to another
• Computing representations for radicals of finitely generated differential ideals
• Computing all identifiable functions of parameters for ODE models
• A bound for orders in differential Nullstellensatz
• On the generalized Ritt problem as a computational problem
• Universal characteristic decomposition of radical differential ideals
• Parameter identifiability and input-output equations
• Model reduction of chemical reaction systems using elimination
• A new algorithm for computing regular representations for radicals of parametric differential ideals
• A normal form algorithm for regular differential chains
• On computer-assisted classification of coupled integrable equations
• Identifiable specializations for ODE models
• Algebraic identifiability of partial differential equation models
• Identifiability and identification of a pollution source in a river by using a semi-discretized model
• A bound for the Rosenfeld-Gröbner algorithm
• Probabilistic algorithms for computing resolvent representations of regular differential ideals

Describes a project that uses

Uses Software

• Maple
• DIFFALG

This page was built for publication: Computing canonical representatives of regular differential ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454742)