scientific article; zbMATH DE number 1254247

zbMath0911.13011MaRDI QIDQ4227290

François Boulier, Michel Petitot, Daniel Lazard, François Ollivier

Publication date: 16 May 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

radicalalgorithm for testing membershipfinitely generated differential ideal

Mathematics Subject Classification ID

Related Items (82)

Unnamed Item ⋮ Factoring systems of linear PDEs with finite-dimensional solution spaces ⋮ Fast computation of discrete invariants associated to a differential rational mapping ⋮ Complexity results for triangular sets ⋮ Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials ⋮ Linear complete differential resultants and the implicitization of linear DPPEs ⋮ Bogoyavlenskij symmetries of ideal MHD equilibria as Lie point transformations ⋮ Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables ⋮ Implicitization of partial differential rational parametric equations ⋮ Gröbner bases and involutive methods for algebraic and differential equations ⋮ A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity ⋮ Model reduction of chemical reaction systems using elimination ⋮ Combining Maple and Form to decide on integrability questions ⋮ New order bounds in differential elimination algorithms ⋮ Rational general solutions of systems of first-order algebraic partial differential equations ⋮ A distribution input-output polynomial approach for estimating parameters in nonlinear models. Application to a chikungunya model ⋮ Detecting degenerate behaviors in first order algebraic differential equations ⋮ The problem of defining the singular points of quasi-linear differential-algebraic systems ⋮ A symbolic computation method to decide the completeness of the solutions to the systems of linear partial differential equations ⋮ Difference indices of quasi-prime difference algebraic systems ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Characteristic set algorithms for equation solving in finite fields ⋮ The integration of systems of linear PDEs using conservation laws of syzygies ⋮ Identifiability and identification of a pollution source in a river by using a semi-discretized model ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ On Symbolic Approaches to Integro-Differential Equations ⋮ On the efficiency of solving Boolean polynomial systems with the characteristic set method ⋮ Proof mining and effective bounds in differential polynomial rings ⋮ Implicitization of differential rational parametric equations. ⋮ A bound for the Rosenfeld-Gröbner algorithm ⋮ A criterion for testing whether a difference ideal is prime ⋮ On the generalized Ritt problem as a computational problem ⋮ Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms ⋮ Elimination theory in differential and difference algebra ⋮ Term-ordering free involutive bases ⋮ Solving difference equations whose coefficients are not transcendental ⋮ Gröbner fan and universal characteristic sets of prime differential ideals ⋮ An equivalence theorem for regular differential chains ⋮ Essential components of an algebraic differential equation ⋮ The differential ideal \([P : M^ \infty\).] ⋮ A probabilistic algorithm to test local algebraic observability in polynomial time ⋮ Algorithmic calculus for Lie determining systems ⋮ Symmetries and first order ODE patterns ⋮ Structural identifiability analysis of some highly structured families of statespace models using differential algebra ⋮ Involutive characteristic sets of algebraic partial differential equation systems ⋮ Unmixed-dimensional decomposition of a finitely generated perfect differential ideal ⋮ Rational solutions of Riccati-like partial differential equations ⋮ Thomas Decomposition of Algebraic and Differential Systems ⋮ Algorithmic symmetry classification with invariance ⋮ Similarity: Generalizations, applications and open problems ⋮ An algorithm for the complete symmetry classification of differential equations based on Wu's method ⋮ Differential algebra for derivations with nontrivial commutation rules ⋮ A bound for orders in differential Nullstellensatz ⋮ An algorithmic method for showing existence of nontrivial non-classical symmetries of partial differential equations without solving determining equations ⋮ Probabilistic algorithms for computing resolvent representations of regular differential ideals ⋮ Systems of nonalgebraic nonlinear ODEs ⋮ Fast differential eleminination in C: The CDiffElim environment ⋮ Differential Algebra and System Modeling in Cellular Biology ⋮ Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits ⋮ A new algorithm for computing regular representations for radicals of parametric differential ideals ⋮ Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences ⋮ Characteristic sets for ordinary differential equations ⋮ A short contribution to the theory of regular chains ⋮ Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE ⋮ A characteristic set method for ordinary difference polynomial systems ⋮ Élie Cartan's geometrical vision or how to avoid expression swell ⋮ Algebraic transformation of differential characteristic decompositions from one ranking to another ⋮ Nonclassical reductions of a \((3+1)\)-cubic nonlinear Schrödinger system ⋮ On the theories of triangular sets ⋮ On the index and the order of quasi-regular implicit systems of differential equations ⋮ Computing representations for radicals of finitely generated differential ideals ⋮ New classification techniques for ordinary differential equations ⋮ Implicit Riquier bases for PDAE and their semi-discretizations ⋮ Characteristic set method for differential-difference polynomial systems ⋮ Factorization-free decomposition algorithms in differential algebra ⋮ Computing differential characteristic sets by change of ordering ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ Special issue: Differential algebra and differential equations ⋮ On the integrability of non-polynomial scalar evolution equations ⋮ Applications of differential form Wu's method to determine symmetries of (partial) differential equations ⋮ Integrating factors for second-order ODEs ⋮ Size reduction and partial decoupling of systems of equations.

This page was built for publication: