Computation of differential Chow forms for ordinary prime differential ideals

DOI10.1016/J.AAM.2015.09.004zbMath1333.12002arXiv1501.02755OpenAlexW1907618065MaRDI QIDQ895970

Ying-Hong Li, Wei Li

Publication date: 11 December 2015

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

characteristic setsingle exponential algorithmdifferential Chow formJacobi bound

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05)

Related Items (3)

Proof mining and effective bounds in differential polynomial rings ⋮ Ritt-Wu characteristic set method for Laurent partial differential polynomial systems ⋮ Elimination theory in differential and difference algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability and fast quantifier elimination in algebraically closed fields
• How to compute the Chow form of an unmixed polynomial ideal in single exponential time
• Matrix multiplication via arithmetic progressions
• Algebraic transformation of differential characteristic decompositions from one ranking to another
• 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 differential characteristic sets by change of ordering
• Bounds for the degrees in the Nullstellensatz
• Chow polytopes and general resultants
• Product formulas for resultants and Chow forms
• Resolvent representation for regular differential ideals
• Nonstandard methods for bounds in differential polynomial rings
• Algebraic independence criteria.
• The computational complexity of the Chow form
• Chow form for projective differential variety
• A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
• Sparse differential resultant for Laurent differential polynomials
• On the generalized Ritt problem as a computational problem
• Kähler differentials and differential algebra
• Zur algebraischen Geometrie. IX. Über zugeordnete Formen und algebraische Systeme von algebraischen Mannigfaltigkeiten
• Associative differential operations
• Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form
• Parallel Algorithms for Algebraic Problems
• On Chern numbers of algebraic varieties with arbitrary singularities
• The Greenspan Bound for the Order of Differential Systems
• ESTIMATES FOR THE ORDERS OF ZEROS OF FUNCTIONS OF A CERTAIN CLASS AND APPLICATIONS IN THE THEORY OF TRANSCENDENTAL NUMBERS
• Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet
• Order and Dimension
• Sparse differential resultant
• The notion of dimension in the theory of algebraic differential equations
• Jacobi's Bound for the Order of Systems of First Order Differential Equations

This page was built for publication: Computation of differential Chow forms for ordinary prime differential ideals