
01poly
 Referenced in 18 articles
[sw14281]
 Dimension 5. The output includes the polytope(s) as bitvector (e.g. a 1 for every ... number of equivalence classes and their cardinalities. All known polytopes can immediately be accessed...

HUHFA
 Referenced in 2 articles
[sw13821]
 facet classification. Usually complete linear descriptions of polytopes consist of an enormous number of facet ... method for dividing the inequalities into equivalence classes without resorting to a normal form. Within ... picture of the structural properties of a polytope. We propose an algorithm for the classification...

hgm R
 Referenced in 21 articles
[sw08770]
 vector for the holonomic system. This is equivalent to evaluating the normalizing constant ... find an interesting interplay with systems for polytopes in the project. References and current implementations...

OldPolyhedra
 Referenced in 2 articles
[sw27525]
 many linear halfspaces over QQ or equivalently, the positive hull of a finite ... recommend Gunter M. Ziegler’s Lectures on Polytopes, Graduate Texts in Mathematics 152, SpringerVerlag...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 455 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Maxima
 Referenced in 171 articles
[sw00560]
 Maxima is a system for the manipulation of...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

PARI/GP
 Referenced in 655 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

polymake
 Referenced in 328 articles
[sw00724]
 polymake is open source software for research in...

QAPLIB
 Referenced in 236 articles
[sw00751]
 A collection of electronically available data instances for...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...