Effective difference elimination and nullstellensatz
From MaRDI portal
Publication:783738
DOI10.4171/JEMS/968zbMath1475.12012arXiv1712.01412MaRDI QIDQ783738
Alexey Ovchinnikov, G. A. Pogudin, Thomas J. Scanlon
Publication date: 4 August 2020
Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1712.01412
Model-theoretic algebra (03C60) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Quantifier elimination, model completeness, and related topics (03C10) Difference algebra (12H10) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25)
Related Items
Difference Galois theory and dynamics, On the dimension of systems of algebraic difference equations, Elimination of unknowns for systems of algebraic differential-difference equations, SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY, New bounds and an efficient algorithm for sparse difference resultants, Rational solutions of first-order algebraic ordinary difference equations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Twisted Galois stratification
- Difference algebra and system identification
- Definability and fast quantifier elimination in algebraically closed fields
- Software for algebraic geometry. Papers of a workshop, Minneapolis, MN, USA, October 23--27, 2006
- A characteristic set method for ordinary difference polynomial systems
- Characteristic set method for differential-difference polynomial systems
- Bounds for the degrees in the Nullstellensatz
- A note on the axioms for differentially closed fields of characteristic zero
- Some discrete-time SI, SIR, and SIS epidemic models
- Direct twisted Galois stratification
- Difference Chow form
- On von Neumann regular rings with an automorphism
- Difference algebra
- Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
- On the effective Nullstellensatz
- Bezout-type theorems for differential fields
- Model theory of difference fields
- Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
- Sharp Effective Nullstellensatz
- Discrete May–Leonard Competition Models I
- Valuation theoretic and model theoretic aspects of local uniformization
- How to generate as many Somos-like miracles as you wish†
- Coexistence of competing juvenile–adult structured populations
- Basic Algebraic Geometry 1
- Intersection of a correspondence with a graph of Frobenius
- Valued Fields
- Sparse difference resultant
- The Manin-Mumford conjecture and the model theory of difference fields
