Buchumschlag

A new method for reducing algebraic programs to polynomial programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Maaz, Muhammad, Strzeboński, Adam W.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Optimization and Control Symbolic Computation Algebraic Geometry 90C30 (Primary) 14P10, 68W30, 14Q30 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Geometric Approach to Cylindrical Algebraic Decomposition
von: Chen, Rizeng
Veröffentlicht: (2023)

On some Exotic Cylindrical Algebraic Decompositions and Cells
von: Michel, Lucas
Veröffentlicht: (2026)

Cylindrical Algebraic Decomposition in Macaulay2
von: Lee, Corin, et al.
Veröffentlicht: (2025)

An Effective Criterion for Covering Maps Between Real Varieties
von: Chen, Rizeng
Veröffentlicht: (2026)

Effective bounds for polynomial systems defined over the rationals
von: Krick, Teresa
Veröffentlicht: (2025)

Exact Volumes of Semi-Algebraic Convex Bodies
von: Ramesh, Lakshmi, et al.
Veröffentlicht: (2026)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
von: Shang, Weifeng, et al.
Veröffentlicht: (2025)

What Kind of Morphisms Induces Covering Maps over a Real Closed Field?
von: Chen, Rizeng
Veröffentlicht: (2025)

Certifying solutions of degenerate semidefinite programs
von: Kolmogorov, Vladimir, et al.
Veröffentlicht: (2024)

Certified simultaneous isotopic approximation of curves via subdivision
von: Burr, Michael, et al.
Veröffentlicht: (2023)

Sufficient conditions for the surjectivity of radical curve parametrizations
von: Caravantes, Jorce, et al.
Veröffentlicht: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
von: Giménez, Nardo, et al.
Veröffentlicht: (2025)

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets
von: Baldi, Lorenzo, et al.
Veröffentlicht: (2024)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
von: Basson, Dirk, et al.
Veröffentlicht: (2024)

Certified Real Eigenvalue Location
von: Solmaz, Baran, et al.
Veröffentlicht: (2026)

Certified simultaneous isotopic approximation of curves via subdivision
von: Burr, Michael, et al.
Veröffentlicht: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
von: Davenport, James H., et al.
Veröffentlicht: (2023)

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
von: González-Villa, Manuel, et al.
Veröffentlicht: (2026)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
von: Xu, Jia, et al.
Veröffentlicht: (2025)

Drawing real plane algebraic curves in OSCAR
von: Frühbis-Krüger, Anne, et al.
Veröffentlicht: (2026)

Sparse systems and algorithmic equidimensional decomposition
von: Herrero, Maria Isabel, et al.
Veröffentlicht: (2025)

On Projective Delineability
von: Michel, Lucas, et al.
Veröffentlicht: (2024)

Revisiting Sampson Approximations for Geometric Estimation Problems
von: Rydell, Felix, et al.
Veröffentlicht: (2024)

Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
von: Ergür, Alperen A., et al.
Veröffentlicht: (2025)

An intrinsic homotopy for intersecting algebraic varieties
von: Sommese, Andrew J., et al.
Veröffentlicht: (2004)

Algebraic Constraints and Algorithms for Common Lines in Cryo-EM
von: Muller, Tommi, et al.
Veröffentlicht: (2024)

The CompGIT package: a computational tool for Geometric Invariant Theory quotients
von: Hanson, Robert, et al.
Veröffentlicht: (2025)

Empirically Exploring the Space of Monostationarity in Dual Phosphorylation
von: Cai, May, et al.
Veröffentlicht: (2024)

Sparse Nullstellensatz, resultants and determinants of complexes
von: D'Andrea, Carlos, et al.
Veröffentlicht: (2024)

Real polynomial Hurwitz numbers
von: Ding, Yanqiao
Veröffentlicht: (2025)

(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial
von: Brüser, Clemens, et al.
Veröffentlicht: (2024)

Notes on Three Formulas of Abel
von: Cox, David A.
Veröffentlicht: (2024)

Integer multiplication is at least as hard as matrix transposition
von: Harvey, David, et al.
Veröffentlicht: (2025)

Recent Advances in Debordering Methods
von: Dutta, Pranjal, et al.
Veröffentlicht: (2025)

Common Real Secants to Pairs of Real Twisted Cubic Curves
von: Aslam, Saima, et al.
Veröffentlicht: (2026)

Equi-affine minimal-degree moving frames for polynomial curves
von: Hong, Hoon, et al.
Veröffentlicht: (2024)

The multivariate Hermite method for counting real and complex solutions to polynomial systems
von: Oleksiyuk, Volodymyr
Veröffentlicht: (2025)

Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
von: Bertone, Cristina, et al.
Veröffentlicht: (2024)

Compact Kähler manifolds with nef anti-canonical bundle
von: Matsumura, Shin-ichi, et al.
Veröffentlicht: (2025)