
Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational Coefficients
Assessing nonnegativity of multivariate polynomials over the reals, thr...
read it

TSSOS: a Julia library to exploit sparsity for largescale polynomial optimization
The Julia library TSSOS aims at helping polynomial optimizers to solve l...
read it

SONC Optimization and Exact Nonnegativity Certificates via SecondOrder Cone Programming
The secondorder cone (SOC) is a class of simple convex cones and optimi...
read it

Computerassisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
We provide a computerassisted approach to ensure that a given continuou...
read it

CSTSSOS: Correlative and term sparsity for largescale polynomial optimization
This work proposes a new momentSOS hierarchy, called CSTSSOS, for solv...
read it

Polynomial Optimization for Bounding Lipschitz Constants of Deep Networks
The Lipschitz constant of a network plays an important role in many appl...
read it

Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials
We provide two hybrid numericsymbolic optimization algorithms, computin...
read it

On Exact Reznick, HilbertArtin and Putinar's Representations
We consider the problem of finding exact sums of squares (SOS) decomposi...
read it

On Exact Polya, HilbertArtin and Putinar's Representations
We consider the problem of finding exact sums of squares (SOS) decomposi...
read it

RealCertify: a Maple package for certifying nonnegativity
Let Q (resp. R) be the field of rational (resp. real) numbers and X = (X...
read it

On Exact Polya and Putinar's Representations
We consider the problem of finding exact sums of squares (SOS) decomposi...
read it

Certified Roundoff Error Bounds using Bernstein Expansions and Sparse KrivineStengle Representations
Floating point error is a drawback of embedded systems implementation th...
read it

Algorithms for Weighted Sums of Squares Decomposition of Nonnegative Univariate Polynomials
It is wellknown that every nonnegative univariate real polynomial can ...
read it
Victor Magron
is this you? claim profile