Formal Proofs for Nonlinear Optimization (Q5195260): Difference between revisions

@@ label / en / label / en @@
+Formal Proofs for Nonlinear Optimization
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MetiTarski
@@ Property / describes a project that uses: MetiTarski / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SDPA
@@ Property / describes a project that uses: SDPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.OC
@@ Property / arXiv classification: math.OC / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.7282
@@ Property / arXiv ID: 1404.7282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5702469
@@ Property / cites work: Q5702469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3062292
@@ Property / cites work: Q3062292 / 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 @@
+Certification of real inequalities: templates and sums of squares
+Normal rank
@@ Property / cites work @@
+Certification of Bounds of Non-linear Functions: The Templates Method
+Normal rank
@@ Property / cites work @@
+Extending Coq with Imperative Features and Its Application to SAT Verification
+Normal rank
@@ Property / cites work @@
+Q2765682
@@ Property / cites work: Q2765682 / rank @@
+Normal rank
@@ Property / cites work @@
+A numerical evaluation of several stochastic algorithms on selected continuous global optimization test problems
+Normal rank
@@ Property / cites work @@
+MetiTarski: An automatic theorem prover for real-valued special functions
+Normal rank
@@ Property / cites work @@
+Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
+Normal rank
@@ Property / cites work @@
+Q3932277
@@ Property / cites work: Q3932277 / rank @@
+Normal rank
@@ Property / cites work @@
+A two-level approach towards lean proof-checking
@@ Property / cites work: A two-level approach towards lean proof-checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5459902
@@ Property / cites work: Q5459902 / rank @@
+Normal rank
@@ Property / cites work @@
+A Max-Plus-Based Algorithm for a Hamilton--Jacobi--Bellman Equation of Nonlinear Filtering
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336664
@@ Property / cites work: Q3336664 / 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 @@
+Q5692712
@@ Property / cites work: Q5692712 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003643
@@ Property / cites work: Q3003643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4976923
@@ Property / cites work: Q4976923 / rank @@
+Normal rank
@@ Property / cites work @@
+Topology
@@ Property / cites work: Topology / rank @@
+Normal rank
@@ Property / cites work @@
+GloptiPoly 3: moments, optimization and semidefinite programming
+Normal rank
@@ Property / cites work @@
+Boundary value problems in weighted spaces of polyanalytic functions in half-plane
+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 @@
+On the Generation of Positivstellensatz Witnesses in Degenerate Cases
+Normal rank
@@ Property / cites work @@
+Special cases
@@ Property / cites work: Special cases / rank @@
+Normal rank
@@ Property / cites work @@
+A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
+Normal rank
@@ Property / cites work @@
+Max-plus methods for nonlinear control and estimation.
+Normal rank
@@ Property / cites work @@
+Floating-point arithmetic in the Coq system
@@ Property / cites work: Floating-point arithmetic in the Coq system / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Bernstein polynomials and applications to global optimization
+Normal rank
@@ Property / cites work @@
+Q4821322
@@ Property / cites work: Q4821322 / rank @@
+Normal rank
@@ Property / cites work @@
+th international conference on geometry and applications
+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 @@
+Optimization of Polynomials on Compact Semialgebraic Sets
+Normal rank
@@ Property / cites work @@
+A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
+Normal rank
@@ Property / cites work @@
+Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
+Normal rank
@@ Property / cites work @@
+Latest Developments in the SDPA Family for Solving Large-Scale SDPs
+Normal rank
@@ Property / cites work @@
+Formal Global Optimisation with Taylor Models
@@ Property / cites work: Formal Global Optimisation with Taylor Models / rank @@
+Normal rank