Algorithms yield upper bounds in differential algebra

DOI10.4153/S0008414X21000560MaRDI QIDQ5879624zbMATH OpenOpenAlexFDO

Authors Wei Li, Alexey Ovchinnikov, Gleb Pogudin, T. J. Scanlon

Publication date 2 March 2023

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

delay PDEselimination of unknownsoracle machineuniform bounds

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Complexity of computation (including implicit computational complexity) (03D15) Differential algebra (12H05) Difference algebra (12H10)

Recommendations

• Bounds for Orders of Derivatives in Differential Elimination Algorithms
• New order bounds in differential elimination algorithms
• An upper bound for the order of a differential algebraic variety
• On bounds for the effective differential Nullstellensatz
• A bound for the Rosenfeld-Gröbner algorithm

Cites work

• A bound for orders in differential Nullstellensatz
• A characteristic set method for ordinary difference polynomial systems
• Accessible telephone directories
• Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems
• Algorithmic Thomas decomposition of algebraic and differential systems
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Characteristic set method for differential-difference polynomial systems
• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Computing representations for radicals of finitely generated differential ideals
• Definability and fast quantifier elimination in algebraically closed fields
• Difference algebra
• Elimination of unknowns for systems of algebraic differential-difference equations
• Estimates for the coefficients of differential dimension polynomials
• scientific article; zbMATH DE number 3888913 (Why is no real title available?)
• scientific article; zbMATH DE number 1253957 (Why is no real title available?)
• scientific article; zbMATH DE number 1252509 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• Model Theory
• Model theory of fields with free operators in characteristic zero
• New effective differential Nullstellensatz
• Nonstandard methods for bounds in differential polynomial rings
• On the model companion of partial differential fields with an automorphism
• Petri nets and large finite sets
• Proof mining and effective bounds in differential polynomial rings
• Saturation and stability in the theory of computation over the reals
• THE MODEL COMPANION OF DIFFERENTIAL FIELDS WITH FREE OPERATORS
• The model theory of differential fields with finitely many commuting derivations

Cited in

(8)

• New order bounds in differential elimination algorithms
• Algorithmic problems for differential polynomial algebras
• Bounds for Orders of Derivatives in Differential Elimination Algorithms
• An upper bound for the order of a differential algebraic variety
• scientific article; zbMATH DE number 952487 (Why is no real title available?)
• Towards a computer algebraic algorithm for flat output determination
• Algorithmic foundations for the diffraction limit
• Advances in elimination theory for algebraic differential and difference equations

This page was built for publication: Algorithms yield upper bounds in differential algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5879624)