Computing representations for radicals of finitely generated differential ideals

DOI10.1007/S00200-009-0091-7zbMATH Open1185.12003OpenAlexW2054452549MaRDI QIDQ1015366FDOQ1015366

M. Petitot, François Boulier, D. Lazard, François Ollivier

Publication date: 8 May 2009

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-009-0091-7

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Rosenfeld-Gr%EF%BF%BD%EF%BF%BDbner+algorithm&go=Go Rosenfeld-Gr��bner algorithm]systems of polynomial differential equations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Modules of differentials (13N05) Computational aspects and applications of commutative rings (13P99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contribution to the Picard-Vessiot Theory of Homogeneous Linear Differential Equations
• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On an installation of Buchberger's algorithm
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the translation of languages from left to right
• Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
• Abstract Differential Algebra and the Analytic Case
• Abstract Differential Algebra and the Analytic Case. II
• Specializations in Differential Algebra
• Title not available (Why is that?)
• Solving zero-dimensional algebraic systems
• Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution
• Reduction of systems of nonlinear partial differential equations to simplified involutive forms
• The differential ideal \([P] : M^ \infty\).
• Differential Elimination–Completion Algorithms for DAE and PDAE
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
• The low power theorem for partial differential polynomials

Cited In (51)

• Factorization-free decomposition algorithms in differential algebra
• Singularities of algebraic differential equations
• Testing equality in differential ring extensions defined by PDE's and limit conditions
• A new algorithm for computing regular representations for radicals of parametric differential ideals
• On the integrability of homogeneous scalar evolution equations
• Computing differential characteristic sets by change of ordering
• Accelerated tower arithmetic
• A geometric index reduction method for implicit systems of differential algebraic equations
• A bound for a typical differential dimension of systems of linear differential equations
• On Symbolic Approaches to Integro-Differential Equations
• Algorithms yield upper bounds in differential algebra
• On the partial differential Lüroth's theorem
• Resolvent representation for regular differential ideals
• On the Coalgebra of Partial Differential Equations
• Recent progress in an algebraic analysis approach to linear systems
• Effective Computation of Radical of Ideals and Its Application to Invariant Theory
• Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability
• Jacobi's bound: Jacobi's results translated in Kőnig's, Egerváry's and Ritt's mathematical languages
• Algorithmic Thomas decomposition of algebraic and differential systems
• Effective bounds for the consistency of differential equations
• Probabilistic algorithms for computing resolvent representations of regular differential ideals
• A bound for orders in differential Nullstellensatz
• Mode discernibility and bounded-error state estimation for nonlinear hybrid systems
• Thomas Decomposition of Algebraic and Differential Systems
• Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
• Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE
• New order bounds in differential elimination algorithms
• On the complexity of the resolvent representation of some prime differential ideals
• A generalization of the Boulier-Buchberger criterion for the computation of characteristic sets of differential ideals
• Membership problem for differential ideals generated by a composition of polynomials
• Validation of simulation models without knowledge of parameters using differential algebra
• On integro-differential algebras.
• Sur le problème d’équivalence de Cartan
• Automatic pre- and postconditions for partial differential equations
• Universal characteristic decomposition of radical differential ideals
• Rational general solutions of systems of first-order algebraic partial differential equations
• Computing all identifiable functions of parameters for ODE models
• Thomas Decomposition and Nonlinear Control Systems
• Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms
• New effective differential Nullstellensatz
• A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface
• Model reduction of chemical reaction systems using elimination
• Elimination of unknowns for systems of algebraic differential-difference equations
• The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
• A normal form algorithm for regular differential chains
• Differential algebra for derivations with nontrivial commutation rules
• Characteristic sets for ordinary differential equations
• An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner bases
• Some effective approaches to check the identifiability of uncontrolled nonlinear systems
• An equivalence theorem for regular differential chains
• The Differential Dimension Polynomial for Characterizable Differential Ideals

Uses Software

• Maple

   Recommendations

• Title not available (Why is that?) 👍 👎
• Computing canonical representatives of regular differential ideals 👍 👎
• Factorization-free decomposition algorithms in differential algebra 👍 👎
• The differential ideal \([P : M^ \infty\).] 👍 👎
• An Improvement of Rosenfeld-Gröbner Algorithm 👍 👎

This page was built for publication: Computing representations for radicals of finitely generated differential ideals

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