Computing representations for radicals of finitely generated differential ideals

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

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

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

Recommendations

• scientific article; zbMATH DE number 1254247
• 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

zbMATH Keywords

systems of polynomial differential equationsRosenfeld-Gröbner algorithm

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 (52)

• A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface
• Factorization-free decomposition algorithms in differential algebra
• Singularities of algebraic differential equations
• Thomas decomposition of algebraic and differential systems
• 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
• A bound for the Rosenfeld-Gröbner algorithm
• 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
• 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
• 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

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)