Buchumschlag

Solving generic parametric linear matrix inequalities

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Naldi, Simone, Din, Mohab Safey El, Taylor, Adrien, Wang, Weijia
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Symbolic Computation Algebraic Geometry
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Solving parameter-dependent semi-algebraic systems
von: Gaillard, Louis, et al.
Veröffentlicht: (2024)

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

Computing the connected components of real algebraic curves
von: Rocchi, Elisabetta, et al.
Veröffentlicht: (2026)

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

On Exact Reznick, Hilbert-Artin and Putinar's Representations
von: Magron, Victor, et al.
Veröffentlicht: (2018)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
von: Din, Mohab Safey El, et al.
Veröffentlicht: (2025)

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations
von: Gopalakrishnan, Sriram, et al.
Veröffentlicht: (2024)

A complexity analysis of the F4 Gröbner basis algorithm with tracer data
von: Kouba, Robin, et al.
Veröffentlicht: (2026)

On the configurations of four spheres supporting the vertices of a tetrahedron
von: Longinetti, Marco, et al.
Veröffentlicht: (2024)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
von: Elliott, Jesse, et al.
Veröffentlicht: (2025)

On semidefinite-representable sets over valued fields
von: Cornou, Corentin, et al.
Veröffentlicht: (2026)

Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
von: Kudo, Momonari, et al.
Veröffentlicht: (2024)

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

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
von: Vu, Thi Xuan
Veröffentlicht: (2026)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2025)

Connection Matrices in Macaulay2
von: Görlach, Paul, et al.
Veröffentlicht: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
von: Oaku, Toshinori
Veröffentlicht: (2026)

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

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
von: Hong, Hoon, et al.
Veröffentlicht: (2023)

Persistent components in Canny's Generalized Characteristic Polynomial
von: Pogudin, Gleb
Veröffentlicht: (2024)

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

A proof of the Brill-Noether method from scratch
von: Berardini, Elena, et al.
Veröffentlicht: (2022)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
von: Riener, Cordian., et al.
Veröffentlicht: (2025)

Trinomials and Deterministic Complexity Limits for Real Solving
von: Boniface, Emma, et al.
Veröffentlicht: (2022)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
von: Liwski, Emiliano, et al.
Veröffentlicht: (2025)

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
von: Magron, Victor, et al.
Veröffentlicht: (2020)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
von: Vu, Thi Xuan
Veröffentlicht: (2025)

On the complexity of Chow and Hurwitz forms
von: Doğan, Mahmut Levent, et al.
Veröffentlicht: (2022)

Efficient Tensor Decomposition via Moment Matrix Extension
von: Shi, Bobby, et al.
Veröffentlicht: (2025)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
von: Zeng, Zhenbing, et al.
Veröffentlicht: (2025)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
von: Srivastava, Karan, et al.
Veröffentlicht: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2025)

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

Brackets and Projective Geometry in Macaulay2
von: Bidleman, Dalton, et al.
Veröffentlicht: (2025)

Reinforcement Learning for Power-Flow Network Analysis
von: Ergur, Alperen, et al.
Veröffentlicht: (2026)

Algebraic Tools for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

Some explicit arithmetic on curves of genus three and their applications
von: Moriya, Tomoki, et al.
Veröffentlicht: (2022)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
von: Bayarmagnai, Erdenebayar, et al.
Veröffentlicht: (2024)

On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases
von: Kudo, Momonari, et al.
Veröffentlicht: (2024)