A geometric index reduction method for implicit systems of differential algebraic equations

DOI10.1016/j.jsc.2011.05.012zbMath1235.34030arXiv1008.5080OpenAlexW2119421567WikidataQ115345232 ScholiaQ115345232MaRDI QIDQ719759

Gabriela Jeronimo, Lisi D'Alfonso, François Ollivier, Pablo Solernó, Alexandre Sedoglavic

Publication date: 11 October 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1008.5080

zbMATH Keywords

indexdifferential algebraic equationKronecker algorithmimplicit ordinary differential equationgeometric resolution

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Implicit ordinary differential equations, differential-algebraic equations (34A09) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Related Items (6)

A generalization of the Boulier-Buchberger criterion for the computation of characteristic sets of differential ideals ⋮ Effective differential Lüroth's theorem ⋮ Jacobi's bound: Jacobi's results translated in Kőnig's, Egerváry's and Ritt's mathematical languages ⋮ On a hybrid analytical-experimental technique to assess the storage modulus of resilient materials using symbolic computation ⋮ Weak identifiability for differential algebraic systems ⋮ Elimination for generic sparse polynomial systems

Uses Software

• Kronecker

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers
• A linear algebra approach to the differentiation index of generic DAE systems
• Probabilistic algorithms for computing resolvent representations of regular differential ideals
• On the index and the order of quasi-regular implicit systems of differential equations
• Looking for the order of a system of arbitrary ordinary differential equations. Translated from the Latin manuscript by François Ollivier. Edited by S. Cohn and C. W. Borchardt.
• Computing representations for radicals of finitely generated differential ideals
• Jacobi's bound for independent systems of algebraic partial differential equations
• A geometric treatment of implicit differential-algebraic equations
• On implicit systems of differential equations.
• Resolvent representation for regular differential ideals
• Computing parametric geometric resolutions
• Fast computation of discrete invariants associated to a differential rational mapping
• The index of general nonlinear DAEs
• A concise proof of the Kronecker polynomial system solver from scratch
• Change of order for regular chains in positive dimension
• Polynomial cost for solving IVP for high-index DAE
• On the complexity of the resolvent representation of some prime differential ideals
• Jacobi's bound for a diffiety defined by a quasi-regular system
• Numerical Solution of Nonlinear Differential Equations with Algebraic Constraints I: Convergence Results for Backward Differentiation Formulas
• Numerical Solution of Nonlinear Differential Equations with Algebraic Constraints II: Practical Implications
• Differential-Algebraic Equation Index Transformations
• The Consistent Initialization of Differential-Algebraic Systems
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives
• Differential Elimination–Completion Algorithms for DAE and PDAE
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
• A Gröbner free alternative for polynomial system solving
• A simple structural analysis method for DAEs

This page was built for publication: A geometric index reduction method for implicit systems of differential algebraic equations