Pages that link to "Item:Q5195260"
From MaRDI portal
The following pages link to Formal Proofs for Nonlinear Optimization (Q5195260):
Displaying 14 items.
- Dynamics of a parametrically excited system with two forcing terms (Q486027) (← links)
- A heuristic method for certifying isolated zeros of polynomial systems (Q1634514) (← links)
- Polynomials with bounds and numerical approximation (Q1681786) (← links)
- Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials (Q1733314) (← links)
- Duality of sum of nonnegative circuit polynomials and optimal SONC bounds (Q2156369) (← links)
- Certification of real inequalities: templates and sums of squares (Q2349133) (← 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)
- Formal Global Optimisation with Taylor Models (Q3613424) (← links)
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems (Q5232243) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
- Pourchet’s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares (Q6081964) (← links)
- Conic linear optimization for computer-assisted proofs. Abstracts from the workshop held April 10--16, 2022 (Q6170529) (← links)
- Verified reductions for optimization (Q6536123) (← links)
