Certification of real inequalities: templates and sums of squares (Q2349133): Difference between revisions

@@ Property / cites work @@
+Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
+Normal rank
@@ Property / cites work @@
+Q5702469
@@ Property / cites work: Q5702469 / rank @@
+Normal rank
@@ Property / cites work @@
+The Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems: Basic Properties and Convergence Analysis
+Normal rank
@@ Property / cites work @@
+A numerical evaluation of several stochastic algorithms on selected continuous global optimization test problems
+Normal rank
@@ Property / cites work @@
+Certification of Bounds of Non-linear Functions: The Templates Method
+Normal rank
@@ Property / cites work @@
+Formal Proofs for Nonlinear Optimization
@@ Property / cites work: Formal Proofs for Nonlinear Optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous global search using taylor models
@@ Property / cites work: Rigorous global search using taylor models / rank @@
+Normal rank
@@ Property / cites work @@
+Reduced vertex set result for interval semidefinite optimization problems
+Normal rank
@@ Property / cites work @@
+Semiconcave functions, Hamilton-Jacobi equations, and optimal control
+Normal rank
@@ Property / cites work @@
+Adaptive cubic regularisation methods for unconstrained optimization. I: Motivation, convergence and numerical results
+Normal rank
@@ Property / cites work @@
+Sollya: An Environment for the Development of Numerical Codes
+Normal rank
@@ Property / cites work @@
+A Max-Plus-Based Algorithm for a Hamilton--Jacobi--Bellman Equation of Nonlinear Filtering
+Normal rank
@@ Property / cites work @@
+Numerical Methods for Special Functions
@@ Property / cites work: Numerical Methods for Special Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Convex and Discrete Geometry
@@ Property / cites work: Convex and Discrete Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+The status of the Kepler conjecture
@@ Property / cites work: The status of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+An interval Newton method
@@ Property / cites work: An interval Newton method / rank @@
+Normal rank
@@ Property / cites work @@
+Sharpening interval computations
@@ Property / cites work: Sharpening interval computations / rank @@
+Normal rank
@@ Property / cites work @@
+Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Convex underestimators of polynomials
@@ Property / cites work: Convex underestimators of polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Global Optimization with Polynomials and the Problem of Moments
+Normal rank
@@ Property / cites work @@
+Positivity and Optimization for Semi-Algebraic Functions
+Normal rank
@@ Property / cites work @@
+NLCertify: A Tool for Formal Nonlinear Optimization
+Normal rank
@@ Property / cites work @@
+An introduction to \(\Gamma\)-convergence
@@ Property / cites work: An introduction to \(\Gamma\)-convergence / rank @@
+Normal rank
@@ Property / cites work @@
+Max-plus methods for nonlinear control and estimation.
+Normal rank
@@ Property / cites work @@
+A Curse-of-Dimensionality-Free Numerical Method for Solution of Certain HJB PDEs
+Normal rank
@@ Property / cites work @@
+Q5421933
@@ Property / cites work: Q5421933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5571563
@@ Property / cites work: Q5571563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428719
@@ Property / cites work: Q4428719 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Q4285035
@@ Property / cites work: Q4285035 / rank @@
+Normal rank
@@ Property / cites work @@
+Convex Analysis
@@ Property / cites work: Convex Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
+Normal rank