Pages that link to "Item:Q5195260"
From MaRDI portal
The following pages link to Formal Proofs for Nonlinear Optimization (Q5195260):
Displaying 7 items.
- 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)
- Certifying solutions to overdetermined and singular polynomial systems over \(\mathbb{Q}\) (Q2399868) (← links)
- Primitive Floats in Coq (Q5875413) (← links)
