Pages that link to "Item:Q2351165"

The following pages link to Formalization of Bernstein polynomials and applications to global optimization (Q2351165):

Displaying 3 items.

• Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269) (← links)
• Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615) (← links)
• Formal Proofs for Nonlinear Optimization (Q5195260) (← links)