• BENSOLVE

  • Referenced in 74 articles [sw12273]
  • following features: arbitrary pointed solid polyhedral ordering cones; primal and dual algorithms; primal and dual...
  • Gfan

  • Referenced in 120 articles [sw04698]
  • varieties. These are polyhedral fans associated to polynomial ideals. The maximal cones of a Gröbner...
  • Convex

  • Referenced in 33 articles [sw07770]
  • full-dimensional. A CONE can be created from either description with the functions poshull ... respectively. The Convex package can deal with polyhedral complexes (simplicial complexes, for example) and fans ... calculations in the face lattice of a cone or polyhedron, see the types CFACE ... facet of f2. See CONE[traverse], CONE[traverse2] and POLYHEDRON[traverse], POLYHEDRON[traverse2]. More generally...
  • BBCPOP

  • Referenced in 5 articles [sw31757]
  • positive semidefinite cones and a polyhedral cone induced from the BBC constraints. BBCPOP aims...
  • QSDPNAL

  • Referenced in 28 articles [sw18799]
  • simple convex polyhedral set constraint, and a positive semidefinite cone constraint. A first order algorithm...
  • extended-MIQCP

  • Referenced in 14 articles [sw31776]
  • extended or lifted polyhedral relaxation of the Lorentz cone by Ben-Tal and Nemirovski (Math ... second is based on a lifted polyhedral relaxation of the euclidean ball that...
  • polco

  • Referenced in 4 articles [sw35919]
  • polco tool enumerates extreme rays of polyhedral cones. It can also be used to enumerate...
  • Synet

  • Referenced in 3 articles [sw18079]
  • computation of extremal rays of polyhedral cones...
  • FXrays

  • Referenced in 3 articles [sw34529]
  • finding extremal rays of a polyhedral cone, with filtering. It is intended for finding normal...
  • FourierMotzkin

  • Referenced in 2 articles [sw27120]
  • hull and vertex enumeration. A convex cone is polyhedral if it is a finite intersection ... cones states that a convex cone is polyhedral if and only if it is finitely ... between these two basic representations for convex cones. For polytopes, this allows one to convert...
  • OldPolyhedra

  • Referenced in 2 articles [sw27525]
  • package OldPolyhedra -- for computations with convex polyhedra, cones, and fans. A rational convex Polyhedron ... vertices and rays. A rational convex polyhedral Cone is the intersection of finitely many linear...
  • Polyhedra

  • Referenced in 7 articles [sw12128]
  • convex polyhedral objects in Macaulay 2. In particular, Polyhedra implements objects representing polyhedra, cones ... package also provides functions to create convex polyhedral objects from some algebraic objects...
  • TorDiv

  • Referenced in 3 articles [sw14424]
  • numerically effective cone, and the ample cone. Computation of Cox’s and Kajiwara’s quotient ... fans and GIT-limits. Computations of polyhedral divisors...
  • Pajarito

  • Referenced in 4 articles [sw33900]
  • Pajarito solves MICP problems by constructing sequential polyhedral outer-approximations of the convex feasible ... second-order, (primal) exponential, and positive semidefinite cones. MISOCP and MISDP are two established...
  • realizationMatroids

  • Referenced in 1 article [sw19075]
  • following: given a one-dimensional balanced polyhedral fan C which is set theoretically contained ... their multiplicities on the maximal cones. The relative realization space of C with respect ... tropical fan curves, i.e. one-dimensional balanced polyhedral fans, contained in two-dimensional matroidal fans...
  • Apron

  • Referenced in 70 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • BARON

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

  • Referenced in 113 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

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

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