Image de couverture de livre

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zeng, Zhenbing, Huang, Yong, Yang, Lu, Rao, Yongsheng
Format:	Preprint
Publié:	2025
Sujets:	Symbolic Computation Numerical Analysis Algebraic Geometry
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficient Tensor Decomposition via Moment Matrix Extension
par: Shi, Bobby, et autres
Publié: (2025)

Trinomials and Deterministic Complexity Limits for Real Solving
par: Boniface, Emma, et autres
Publié: (2022)

A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
par: Paouris, Grigoris, et autres
Publié: (2019)

Effective alpha theory certification using interval arithmetic: alpha theory over regions
par: Lee, Kisun
Publié: (2024)

Certified homotopy tracking using the Krawczyk method
par: Duff, Timothy, et autres
Publié: (2024)

Certified algebraic curve projections by path tracking
par: Burr, Michael, et autres
Publié: (2025)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
par: Moroz, Guillaume
Publié: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
par: Yang, Jing, et autres
Publié: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
par: Pogudin, Gleb
Publié: (2024)

Three Paths to Rational Curves with Rational Arc Length
par: Schröcker, Hans-Peter, et autres
Publié: (2023)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
par: Bender, Matías, et autres
Publié: (2023)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
par: Riener, Cordian., et autres
Publié: (2025)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
par: Vu, Thi Xuan
Publié: (2026)

Certified surface approximations using the interval Krawczyk test
par: Burr, Michael, et autres
Publié: (2026)

Two-step Newton's method for deflation-one singular zeros of analytic systems
par: Lee, Kisun, et autres
Publié: (2023)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
par: Vu, Thi Xuan
Publié: (2025)

Projecting dynamical systems via a support bound
par: Mukhina, Yulia, et autres
Publié: (2025)

Support bound for differential elimination in polynomial dynamical systems
par: Mukhina, Yulia, et autres
Publié: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2024)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
par: Liwski, Emiliano, et autres
Publié: (2025)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
par: Hong, Hoon, et autres
Publié: (2023)

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

Solving generic parametric linear matrix inequalities
par: Naldi, Simone, et autres
Publié: (2025)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
par: Bayarmagnai, Erdenebayar, et autres
Publié: (2025)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
par: Prébet, Rémi, et autres
Publié: (2024)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
par: Hong, Hoon, et autres
Publié: (2023)

Connection Matrices in Macaulay2
par: Görlach, Paul, et autres
Publié: (2025)

Solving parameter-dependent semi-algebraic systems
par: Gaillard, Louis, et autres
Publié: (2024)

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

Computing the connected components of real algebraic curves
par: Rocchi, Elisabetta, et autres
Publié: (2026)

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

A proof of the Brill-Noether method from scratch
par: Berardini, Elena, et autres
Publié: (2022)

A Novel Approach to the Initial Value Problem with a complete validated algorithm
par: Zhang, Bingwei, et autres
Publié: (2025)

Effective Quadratic Error Bounds for Floating-Point Algorithms Computing the Hypotenuse Function
par: Muller, Jean-Michel, et autres
Publié: (2024)

Border Bases in the Rational Weyl Algebra
par: Rodriguez, Carlos, et autres
Publié: (2025)

Brackets and Projective Geometry in Macaulay2
par: Bidleman, Dalton, et autres
Publié: (2025)

A Fast Algorithm for the Finite Expression Method in Learning Dynamics on Complex Networks
par: Song, Zezheng, et autres
Publié: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
par: Simmons, William, et autres
Publié: (2023)