Pages that link to "Item:Q2351165"

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

Displaying 12 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)
• Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
• Formalization of the Lindemann-Weierstrass theorem (Q1687717) (← links)
• Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
• Matrix methods for the tensorial Bernstein form (Q2008413) (← links)
• Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
• On exact Reznick, Hilbert-Artin and Putinar's representations (Q2029015) (← links)
• Theorem of three circles in Coq (Q2351412) (← links)
• Affine Arithmetic and Applications to Real-Number Proving (Q2945641) (← links)
• Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
• Formal Proofs for Nonlinear Optimization (Q5195260) (← links)