Image de couverture de livre

Certificates for nonnegativity of multivariate integer polynomials under perturbations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bender, Matías R, Kozhasov, Khazhgali, Tsigaridas, Elias, Zhu, Chaoping
Format:	Preprint
Publié:	2025
Sujets:	Symbolic Computation Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
par: Magron, Victor, et autres
Publié: (2020)

On odd powers of nonnegative polynomials that are not sums of squares
par: Blekherman, Grigoriy, et autres
Publié: (2024)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
par: Din, Mohab Safey El, et autres
Publié: (2025)

Certified bounds on optimization problems in quantum theory
par: Naceur, Younes, et autres
Publié: (2025)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
par: Cory-Wright, Ryan, et autres
Publié: (2023)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
par: Li, Xiakun, et autres
Publié: (2026)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
par: Younes, Grace, et autres
Publié: (2025)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
par: Gimelfarb, Michael, et autres
Publié: (2024)

On the minimal algebraic complexity of the rank-one approximation problem for general inner products
par: Kozhasov, Khazhgali, et autres
Publié: (2023)

Probabilistic bounds on best rank-one approximation ratio
par: Kozhasov, Khazhgali, et autres
Publié: (2022)

An $O(n$)-Algorithm for the Higher-Order Kinematics and Inverse Dynamics of Serial Manipulators using Spatial Representation of Twists
par: Mueller, Andreas
Publié: (2025)

On the complexity of Chow and Hurwitz forms
par: Doğan, Mahmut Levent, et autres
Publié: (2022)

Fast interpolation of sparse multivariate polynomials
par: van der Hoeven, Joris, et autres
Publié: (2023)

SMLP: Symbolic Machine Learning Prover (User Manual)
par: Brauße, Franz, et autres
Publié: (2024)

SMLP: Symbolic Machine Learning Prover
par: Brauße, Franz, et autres
Publié: (2024)

Dissipative quadratizations of polynomial ODE systems
par: Cai, Yubo, et autres
Publié: (2023)

On the equivalence problem of Smith forms for multivariate polynomial matrices
par: Lu, Dong, et autres
Publié: (2024)

On semidefinite-representable sets over valued fields
par: Cornou, Corentin, et autres
Publié: (2026)

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

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

Recycling Algebraic Proof Certificates
par: Kaufmann, Daniela, et autres
Publié: (2025)

The regular multivariate quadratic problem
par: Joux, Antoine, et autres
Publié: (2025)

Certifying solutions of degenerate semidefinite programs
par: Kolmogorov, Vladimir, et autres
Publié: (2024)

Faster multivariate integration in D-modules
par: Brochet, Hadrien, et autres
Publié: (2025)

Computing greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials
par: Hong, Hoon, et autres
Publié: (2023)

Probably faster multiplication of sparse polynomials
par: van der Hoeven, Joris
Publié: (2025)

Cryptanalysis of a multivariate CCZ scheme
par: Caminata, Alessio, et autres
Publié: (2025)

Formal Verification of Neural Certificates Done Dynamically
par: Henzinger, Thomas A., et autres
Publié: (2025)

Solving parametric polynomial systems using Generic Rational Univariate Representation
par: Corniquel, Florent
Publié: (2026)

Computing submatrices of the Hermite normal form of a structured polynomial matrix
par: Berthomieu, Jérémy, et autres
Publié: (2026)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
par: Deng, Siyuan, et autres
Publié: (2024)

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
par: Castellanos-Joo, Jose Abel, et autres
Publié: (2026)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
par: Aso-Mollar, Ángel, et autres
Publié: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
par: Dzafic, Izudin, et autres
Publié: (2025)

Some Computational Tools for Solving a Selection of Problems in Control Theory
par: Demin, Alexander, et autres
Publié: (2025)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
par: Wang, Sen, et autres
Publié: (2023)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
par: Feng, Jie, et autres
Publié: (2024)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
par: Scherb, Christopher, et autres
Publié: (2023)

A new method for reducing algebraic programs to polynomial programs
par: Maaz, Muhammad, et autres
Publié: (2025)

Fast polynomial computations with space constraints
par: Grenet, Bruno
Publié: (2025)