Computing canonical representatives of regular differential ideals
From MaRDI portal
Publication:3454742
DOI10.1145/345542.345571zbMath1326.68344MaRDI 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
differential algebra; characteristic sets; canonical representatives; Rosenfeld-Gröbner; characteristic presentations; lextriangular; regular differential ideal
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
12H05: Differential algebra
12H20: Abstract differential equations
Related Items
On computer-assisted classification of coupled integrable equations, Model reduction of chemical reaction systems using elimination, A normal form algorithm for regular differential chains, Identifiability and identification of a pollution source in a river by using a semi-discretized model, A bound for the Rosenfeld-Gröbner algorithm, Algebraic transformation of differential characteristic decompositions from one ranking to another, 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
Uses Software