Pages that link to "Item:Q3088010"

The following pages link to On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010):

Displaying 10 items.

• Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
• A heuristic method for certifying isolated zeros of polynomial systems (Q1634514) (← links)
• Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system (Q1744121) (← links)
• Formalization of Bernstein polynomials and applications to global optimization (Q2351165) (← links)
• Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
• Solving generic nonarchimedean semidefinite programs using stochastic game algorithms (Q2409007) (← links)
• GpoSolver: a Matlab/C++ toolbox for global polynomial optimization (Q2815514) (← links)
• Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
• Formal Proofs for Nonlinear Optimization (Q5195260) (← links)
• Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)