Formalization of Bernstein polynomials and applications to global optimization (Q2351165): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-012-9256-3
@@ Property / DOI: 10.1007/s10817-012-9256-3 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Manip
@@ Property / describes a project that uses: Manip / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-012-9256-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1993722858
@@ Property / OpenAlex ID: W1993722858 / rank @@
+Normal rank
@@ Property / cites work @@
+MetiTarski: An automatic theorem prover for real-valued special functions
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank
@@ Property / cites work @@
+A formal study of Bernstein coefficients and polynomials
+Normal rank
@@ Property / cites work @@
+Q3801998
@@ Property / cites work: Q3801998 / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
+Normal rank
@@ Property / cites work @@
+Implementing the cylindrical algebraic decomposition within the Coq system
+Normal rank
@@ Property / cites work @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Real Number Calculations: A Library for Interval Arithmetic
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for range computation of polynomials using the Bernstein form
+Normal rank
@@ Property / cites work @@
+Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
+Normal rank
@@ Property / cites work @@
+Q3732843
@@ Property / cites work: Q3732843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851610
@@ Property / cites work: Q4851610 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of Bernstein expansion to the solution of control problems
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q3840971
@@ Property / cites work: Q3840971 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Bounds on Real-Valued Functions with Computations
+Normal rank
@@ Property / cites work @@
+On the Generation of Positivstellensatz Witnesses in Degenerate Cases
+Normal rank
@@ Property / cites work @@
+Combined Decision Techniques for the Existential Theory of the Reals
+Normal rank
@@ Property / cites work @@
+Fast construction of constant bound functions for sparse polynomials
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274348
@@ Property / cites work: Q4274348 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Global Optimisation with Taylor Models
@@ Property / cites work: Formal Global Optimisation with Taylor Models / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-012-9256-3
@@ Property / DOI: 10.1007/S10817-012-9256-3 / rank @@
+Normal rank