Credible autocoding of convex optimization algorithms (Q2358081): Difference between revisions

@@ Property / describes a project that uses @@
+Frama-C
@@ Property / describes a project that uses: Frama-C / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SeDuMi
@@ Property / describes a project that uses: SeDuMi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACSL
@@ Property / describes a project that uses: ACSL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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 @@
+CVXGEN
@@ Property / describes a project that uses: CVXGEN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1764453459
@@ Property / OpenAlex ID: W1764453459 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1861
@@ Property / arXiv ID: 1403.1861 / rank @@
+Normal rank
@@ Property / cites work @@
+Interior Point Methods in Semidefinite Programming with Applications to Combinatorial Optimization
+Normal rank
@@ Property / cites work @@
+Primal-Dual Interior-Point Methods for Semidefinite Programming: Convergence Rates, Stability and Numerical Results
+Normal rank
@@ Property / cites work @@
+Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Matrix Inequalities in System and Control Theory
+Normal rank
@@ Property / cites work @@
+A unified analysis for a class of long-step primal-dual path-following interior-point algorithms for semidefinite programming
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+CVXGEN: a code generator for embedded convex optimization
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear matrix inequality approach to <i>H</i><sub>∞</sub> control
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+An Interior-Point Method for Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Interior-Point Methods for the Monotone Semidefinite Linear Complementarity Problem in Symmetric Matrices
+Normal rank
@@ Property / cites work @@
+Primal--Dual Path-Following Algorithms for Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+Q3809587
@@ Property / cites work: Q3809587 / rank @@
+Normal rank
@@ Property / cites work @@
+Quadratic maximization and semidefinite relaxation
+Normal rank
@@ Property / cites work @@
+Q4324980
@@ Property / cites work: Q4324980 / rank @@
+Normal rank
@@ Property / cites work @@
+Primal-Dual Interior-Point Methods for Self-Scaled Cones
+Normal rank
@@ Property / cites work @@
+Certification aspects of the fast gradient method for solving the dual of parametric convex programs
+Normal rank
@@ Property / cites work @@
+A generic ellipsoid abstract domain for linear time invariant systems
+Normal rank
@@ Property / cites work @@
+A study of search directions in primal-dual interior-point methods for semidefinite programming
+Normal rank
@@ Property / cites work @@
+Semidefinite optimization
@@ Property / cites work: Semidefinite optimization / rank @@
+Normal rank
@@ Property / cites work @@
+On the Nesterov--Todd Direction in Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
+Normal rank
@@ Property / cites work @@
+Latest Developments in the SDPA Family for Solving Large-Scale SDPs
+Normal rank