Computing canonical representatives of regular differential ideals

DOI10.1145/345542.345571zbMath1326.68344OpenAlexW2024532992MaRDI QIDQ3454742

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

differential algebracharacteristic setscanonical representativesRosenfeld-Gröbnercharacteristic presentationslextriangularregular differential ideal

Mathematics Subject Classification ID

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

Related Items (11)

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

Uses Software

• Maple
• DIFFALG

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