Copertina

Certifying solutions of degenerate semidefinite programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kolmogorov, Vladimir, Naldi, Simone, Zapata, Jeferson
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Optimization and Control Symbolic Computation Algebraic Geometry 90C22, 68W30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

On semidefinite-representable sets over valued fields
di: Cornou, Corentin, et al.
Pubblicazione: (2026)

Certified Real Eigenvalue Location
di: Solmaz, Baran, et al.
Pubblicazione: (2026)

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets
di: Baldi, Lorenzo, et al.
Pubblicazione: (2024)

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

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

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

Numerically Computing Galois Groups of Minimal Problems
di: Duff, Timothy
Pubblicazione: (2025)

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

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

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

The Güler-type acceleration for proximal gradient, linearized augmented Lagrangian and linearized alternating direction method of multipliers
di: Zhou, Bin, et al.
Pubblicazione: (2025)

Stochastic versus Deterministic in Stochastic Gradient Descent
di: Li, Runze, et al.
Pubblicazione: (2025)

Stable gradient-adjusted root mean square propagation on least squares problem
di: Li, Runze, et al.
Pubblicazione: (2024)

A preconditioned augmented Lagrangian method for solving semidefinite programming problems
di: Tang, Tianyun, et al.
Pubblicazione: (2026)

Distributed Computing for Huge-Scale Aggregative Convex Programming
di: Tao, Luoyi
Pubblicazione: (2026)

A Heuristic Alternating Direction Method of Multipliers Framework for Distributed and Centralized Tree-Constrained Optimization: Applications to Hop-Constrained Spanning Tree Multicommodity Flow Design
di: Mokhtari, Yacine
Pubblicazione: (2025)

On semidefinite programming characterizations of the numerical radius and its dual norm for quaternionic matrices
di: Friedland, Shmuel
Pubblicazione: (2023)

Exact Volumes of Semi-Algebraic Convex Bodies
di: Ramesh, Lakshmi, et al.
Pubblicazione: (2026)

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

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
di: Xu, Jia, et al.
Pubblicazione: (2025)

A Monadic Calculus with Episodic Flows
di: Henning, Sotirios
Pubblicazione: (2024)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
di: Huang, Bo, et al.
Pubblicazione: (2024)

On semidefinite programming characterizations of the numerical radius and its dual norm
di: Friedland, Shmuel, et al.
Pubblicazione: (2023)

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

A semidefinite programming hierarchy for covering problems in discrete geometry
di: Riener, Cordian, et al.
Pubblicazione: (2023)

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

On Covering Euclidean Space with Q-arrangements of Cones
di: Ghorbal, Khalil, et al.
Pubblicazione: (2022)

Riemannian Federated Learning via Averaging Gradient Streams
di: Huang, Zhenwei, et al.
Pubblicazione: (2024)

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

A globally convergent SQP-type method with least constraint violation for nonlinear semidefinite programming
di: Fu, Wenhao, et al.
Pubblicazione: (2023)

Second-order sequential optimality conditions for nonlinear semidefinite optimization problems
di: Li, Huimin, et al.
Pubblicazione: (2025)

CompressedScaffnew: The First Theoretical Double Acceleration of Communication from Local Training and Compression in Distributed Optimization
di: Condat, Laurent, et al.
Pubblicazione: (2022)

Cylindrical Algebraic Decomposition in Macaulay2
di: Lee, Corin, et al.
Pubblicazione: (2025)

Distributed Gradient-Regularized Newton Method: Scheduled Consensus and O(epsilon^{-1}) Global Iteration Complexity
di: Hu, Wei, et al.
Pubblicazione: (2026)

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

First steps towards Computational Polynomials in Lean
di: Davenport, James Harold
Pubblicazione: (2024)

Towards Verified Polynomial Factorisation
di: Davenport, James H.
Pubblicazione: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
di: Durán, Antonio J., et al.
Pubblicazione: (2013)