• Mosek

  • Referenced in 371 articles [sw04618]
  • optimization problems. Some examples of problems MOSEK can solve are linear programs, quadratic programs, conic ... strengths of the linear and conic optimizers in MOSEK, then MOSEK is currently employed widely...
  • JuMP

  • Referenced in 61 articles [sw16108]
  • wide range of optimization problems (linear, mixed-integer, quadratic, conic-quadratic, semidefinite, and nonlinear...
  • CMARS

  • Referenced in 26 articles [sw08523]
  • this with continuous optimization technique, in particular, the framework of conic quadratic programming. We call...
  • QPsimplex

  • Referenced in 3 articles [sw31751]
  • over polyhedra. We consider minimizing a conic quadratic objective over a polyhedron. Such problems arise ... value-at-risk minimization, portfolio optimization, and robust optimization with ellipsoidal objective uncertainty; and they ... polynomial interior point algorithms for conic quadratic optimization. However, interior point algorithms are not well...
  • extended-MIQCP

  • Referenced in 10 articles [sw31776]
  • based algorithms for mixed integer conic quadratic programming (MICQP). Extended formulations have been used ... Hijazi et al. (Comput Optim Appl 52: 537–558, 2012) to construct algorithms for MICQP ... used for MICQP problems with convex quadratic constraints. In this paper we show ... Bonami and Ouorou to a class of conic mixed integer programming problems that include general...
  • ADOL-C

  • Referenced in 233 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • AXIOM

  • Referenced in 170 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 311 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 95 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CSDP

  • Referenced in 197 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 576 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • LANCELOT

  • Referenced in 297 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LSQR

  • Referenced in 358 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2857 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5883 articles [sw00554]
  • Almost any workflow involves computing results, and that...