Elimination theory in differential and difference algebra
From MaRDI portal
Publication:1730314
DOI10.1007/s11424-019-8367-xzbMath1448.12003OpenAlexW2913800454MaRDI QIDQ1730314
Publication date: 6 March 2019
Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11424-019-8367-x
differential resultantsdifferential Chow formssparse differential resultantsWu-Ritt characteristic sets
Related Items
Burchnall-Chaundy polynomials for matrix ODOs and Picard-Vessiot theory, Foreword to the special issue, Rational solutions of first-order algebraic ordinary difference equations
Uses Software
Cites Work
- Linear sparse differential resultant formulas
- Characteristic set algorithms for equation solving in finite fields
- Differential elimination with Dixon resultants
- A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
- Linear complete differential resultants and the implicitization of linear DPPEs
- Computation of differential Chow forms for ordinary prime differential ideals
- New effective differential Nullstellensatz
- Generalised characteristic polynomials
- A Ritt-Wu's characteristic set method for ordinary difference polynomial systems with arbitrary ordering
- A characteristic set method for ordinary difference polynomial systems
- Characteristic set method for differential-difference polynomial systems
- Computing differential characteristic sets by change of ordering
- Bounds for the degrees in the Nullstellensatz
- Elimination methods
- A holonomic systems approach to special functions identities
- Le formalisme du résultant. (The formalism of resultant)
- The number of roots of a system of equations
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- Non-commutative elimination in Ore algebras proves multivariate identities
- Decomposing polynomial systems into simple systems
- On the Newton polytope of the resultant
- An elimination method for polynomial systems
- A resultant theory for the systems of two ordinary algebraic differential equations
- Factorization-free decomposition algorithms in differential algebra
- Computing triangular systems and regular systems
- Binomial difference ideals
- Improved algorithms for computing determinants and resultants
- On the theories of triangular sets
- Algebraic independence criteria.
- The computational complexity of the Chow form
- Efficient incremental algorithms for the sparse resultant and the mixed volume
- Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case
- Chow form for projective differential variety
- Difference Chow form
- A bound for orders in differential Nullstellensatz
- Sparse differential resultant for Laurent differential polynomials
- On the connection between Ritt characteristic sets and Buchberger-Gröbner bases
- Toric difference variety
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- On the complexity of sparse elimination
- Macaulay style formulas for sparse resultants
- Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials
- Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form
- Computing cylindrical algebraic decomposition via triangular decomposition
- Resolvent systems of difference polynomial ideals
- Properties of Ascending Chains for Partial Difference Polynomial Systems
- Formale Theorie der linearen Differentialgleichungen. (Zweiter Teil).
- Systems of Algebraic Difference Equations
- Resultants and Chow forms via exterior syzygies
- On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style
- Algorithms for computing triangular decompositions of polynomial systems
- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer
- Differential Chow varieties exist
- Specializations in Differential Algebra
- The Existence of Solutions of Abstract Partial Difference Polynomials
- Ideal Theory and Algebraic Difference Equations
- Sparse difference resultant
- Triangular decomposition of semi-algebraic systems
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
- Ore subresultant coefficients in solutions
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
