Cover Image

On semidefinite-representable sets over valued fields

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cornou, Corentin, Naldi, Simone, Vaccon, Tristan
Format:	Preprint
Published:	2026
Subjects:	Algebraic Geometry Symbolic Computation Optimization and Control 52Bxx, 12J10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

An Algorithm for Approximating the Metric Projection onto a Superelliptic Disk
by: Fodor, Valerian-Alin, et al.
Published: (2026)

Universal Analytic Gr{ö}bner Bases and Tropical Geometry
by: Vaccon, Tristan, et al.
Published: (2024)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

On the configurations of four spheres supporting the vertices of a tetrahedron
by: Longinetti, Marco, et al.
Published: (2024)

Integral bases, perfect matchings, and the Petersen graph
by: Abdi, Ahmad, et al.
Published: (2025)

Geometric Generality of Transformer-Based Gröbner Basis Computation
by: Kambe, Yuta, et al.
Published: (2025)

Algebraic Distance Optimization in Polyhedral Norms
by: Duarte, Eliana, et al.
Published: (2026)

Solving generic parametric linear matrix inequalities
by: Naldi, Simone, et al.
Published: (2025)

Distributionally Robust Principal-Agent Problems and Optimality of Contracts
by: Zhang, Peter
Published: (2023)

Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
by: Dai, Zihao, et al.
Published: (2024)

Copositivity, discriminants and nonseparable signed supports
by: Feliu, Elisenda, et al.
Published: (2025)

Non-negative polynomials without hyperbolic certificates of non-negativity
by: Ng, H. L. Brian, et al.
Published: (2025)

Combinatorial Differential Algebra of $x^p$
by: Manssour, Rida Ait El, et al.
Published: (2021)

Thermodynamic Formalism of Stochastic Equilibrium Economics
by: Nummelin, Esa, et al.
Published: (2026)

Properties of the solution set of absolute value equations and the related matrix classes
by: Hladík, Milan
Published: (2022)

Polytope Extensions with Linear Diameters
by: Kaibel, Volker, et al.
Published: (2023)

Connectivity of Parameter Regions of Multistationarity for Multisite Phosphorylation Networks
by: Kaihnsa, Nidhi, et al.
Published: (2024)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
by: Prébet, Rémi, et al.
Published: (2024)

Nonnegativity of signomials with Newton simplex over $\mathcal{A}$-convex sets
by: Averkov, Gennadiy, et al.
Published: (2025)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Minimal hyperbolic polynomials and ranks of homogeneous cones
by: Gouveia, João, et al.
Published: (2024)

Structural properties of the lattice cohomology of curve singularities
by: Kubasch, Alexander A., et al.
Published: (2024)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
by: Oaku, Toshinori
Published: (2026)

Computing the connected components of real algebraic curves
by: Rocchi, Elisabetta, et al.
Published: (2026)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
by: Berthomieu, Jérémy, et al.
Published: (2026)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
by: Hong, Hoon, et al.
Published: (2023)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
by: Hong, Hoon, et al.
Published: (2023)

Connection Matrices in Macaulay2
by: Görlach, Paul, et al.
Published: (2025)

Solving parameter-dependent semi-algebraic systems
by: Gaillard, Louis, et al.
Published: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
by: Pogudin, Gleb
Published: (2024)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
by: Telek, Máté L.
Published: (2023)

A proof of the Brill-Noether method from scratch
by: Berardini, Elena, et al.
Published: (2022)

On Minimum CADs for Algebraic Sets in Dimension Three
by: Michel, Lucas
Published: (2026)

The tangent cone to the real determinantal variety: various expressions and a proof
by: Olikier, Guillaume, et al.
Published: (2025)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)

A Topological Approach to Simple Descriptions of Convex Hulls of Sets Defined by Three Quadrics
by: Blekherman, Grigoriy, et al.
Published: (2024)

Data-driven Analysis of T-Product-based Dynamical Systems
by: Mao, Xin, et al.
Published: (2024)