Copertina

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baldi, Lorenzo, Krick, Teresa, Mourrain, Bernard
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Algebraic Geometry Commutative Algebra Optimization and Control 14Q30, 68W30, 90C23
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Degree bounds for Putinar's Positivstellensatz on the hypercube
di: Baldi, Lorenzo, et al.
Pubblicazione: (2023)

Effective bounds for polynomial systems defined over the rationals
di: Krick, Teresa
Pubblicazione: (2025)

On Łojasiewicz Inequalities and the Effective Putinar's Positivstellensatz
di: Baldi, Lorenzo, et al.
Pubblicazione: (2022)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
di: Shang, Weifeng, et al.
Pubblicazione: (2025)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
di: Basson, Dirk, et al.
Pubblicazione: (2024)

A Geometric Approach to Cylindrical Algebraic Decomposition
di: Chen, Rizeng
Pubblicazione: (2023)

Fast computation of Riemann-Roch spaces for singular curves
di: Darkaoui, Dounia, et al.
Pubblicazione: (2026)

Some computational aspects of spectral sequences in Čech cohomology
di: Zach, Matthias
Pubblicazione: (2025)

A new method for reducing algebraic programs to polynomial programs
di: Maaz, Muhammad, et al.
Pubblicazione: (2025)

Exact Moment Representation in Polynomial Optimization
di: Baldi, Lorenzo, et al.
Pubblicazione: (2020)

Smith Form Equivalence for Several Classes of Multivariate Polynomial Matrices
di: Chen, Zuo, et al.
Pubblicazione: (2026)

Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
di: Bertone, Cristina, et al.
Pubblicazione: (2024)

An Effective Criterion for Covering Maps Between Real Varieties
di: Chen, Rizeng
Pubblicazione: (2026)

An algorithm for the minimal model program in dimension three
di: Yasuda, Takehiko
Pubblicazione: (2026)

Sparse Nullstellensatz, resultants and determinants of complexes
di: D'Andrea, Carlos, et al.
Pubblicazione: (2024)

SubalgebraBases in Macaulay2
di: Burr, Michael, et al.
Pubblicazione: (2023)

The Effective Lasserre's Perturbative Positivstellensatz
di: Klep, Igor, et al.
Pubblicazione: (2026)

A Kronecker algorithm for locally closed sets over a perfect field
di: Giménez, Nardo, et al.
Pubblicazione: (2025)

Improvements of convex-dense factorization of bivariate polynomials
di: Weimann, Martin
Pubblicazione: (2025)

On some Exotic Cylindrical Algebraic Decompositions and Cells
di: Michel, Lucas
Pubblicazione: (2026)

Drawing real plane algebraic curves in OSCAR
di: Frühbis-Krüger, Anne, et al.
Pubblicazione: (2026)

Sufficient conditions for the surjectivity of radical curve parametrizations
di: Caravantes, Jorce, et al.
Pubblicazione: (2023)

A C implementation of the Smith massager algorithm
di: Wang, Ziwen, et al.
Pubblicazione: (2026)

$\mathbb{A}^1$-Brouwer degrees in Macaulay2
di: Borisov, Nikita, et al.
Pubblicazione: (2023)

Empirically Exploring the Space of Monostationarity in Dual Phosphorylation
di: Cai, May, et al.
Pubblicazione: (2024)

The Rigid Pham-Brieskorn Threefolds
di: Chitayat, Michael, et al.
Pubblicazione: (2023)

Matrix equivalence to Smith normal form: new theoretical results for multivariate polynomial matrices
di: Lu, Dong, et al.
Pubblicazione: (2026)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
di: Hong, Hoon, et al.
Pubblicazione: (2023)

An Exact Algorithm for Computing the Structure of Jordan Blocks
di: Tajima, Shinichi, et al.
Pubblicazione: (2025)

Sparse systems and algorithmic equidimensional decomposition
di: Herrero, Maria Isabel, et al.
Pubblicazione: (2025)

Exact Algorithms for Computing Generalized Eigenspaces of Matrices via Jordan-Krylov Basis
di: Tajima, Shinichi, et al.
Pubblicazione: (2022)

Halidon Rings and their Applications
di: Telveenus, Antony
Pubblicazione: (2021)

The Shift-Dimension of Multipersistence Modules
di: Chachólski, Wojciech, et al.
Pubblicazione: (2021)

Certified simultaneous isotopic approximation of curves via subdivision
di: Burr, Michael, et al.
Pubblicazione: (2024)

Rational invariants of even degree polynomials under the orthogonal group
di: Breloer, Henri
Pubblicazione: (2025)

Certifying solutions of degenerate semidefinite programs
di: Kolmogorov, Vladimir, et al.
Pubblicazione: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
di: Davenport, James H., et al.
Pubblicazione: (2023)

On quadratic persistence and Pythagoras numbers of totally real projective varieties
di: Han, Jong In, et al.
Pubblicazione: (2025)

Categorical characterizations of regularity for algebraic stacks
di: De Deyn, Timothy, et al.
Pubblicazione: (2025)

Algebraic Constraints and Algorithms for Common Lines in Cryo-EM
di: Muller, Tommi, et al.
Pubblicazione: (2024)