
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]
 fulldimensional. 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...

extendedMIQCP
 Referenced in 14 articles
[sw31776]
 extended or lifted polyhedral relaxation of the Lorentz cone by BenTal 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 GITlimits. Computations of polyhedral divisors...

Pajarito
 Referenced in 4 articles
[sw33900]
 Pajarito solves MICP problems by constructing sequential polyhedral outerapproximations of the convex feasible ... secondorder, (primal) exponential, and positive semidefinite cones. MISOCP and MISDP are two established...

realizationMatroids
 Referenced in 1 article
[sw19075]
 following: given a onedimensional 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. onedimensional balanced polyhedral fans, contained in twodimensional 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...