
P123456
 Referenced in 4 articles
[sw19257]
 most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given...

F12345
 Referenced in 4 articles
[sw19258]
 most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given...

ToricVarieties
 Referenced in 2 articles
[sw20307]
 their commutative algebra structure and by their combinatorics. For combinatorics, it uses the Convex package...

POSETS
 Referenced in 1 article
[sw32240]
 emphasis on topics of current interest in combinatorics. The package has two distinctive features ... topics. A good reference for the underlying combinatorics is Richard Stanley’s book, Enumerative Combinatorics...

Mongoose
 Referenced in 1 article
[sw35947]
 previous work in multilevel partitioning frameworks and combinatoric approaches, we introduce novel stallreducing ... efficient hybrid algorithm leveraging (1) traditional combinatoric methods and (2) continuous quadratic programming formulations...

LinearWang
 Referenced in 1 article
[sw34624]
 Wang tiling is a classical problem in combinatorics. A major theoretical question is to find...

CoqCombi
 Referenced in 1 article
[sw37869]
 Combi: Formalisation of (algebraic) combinatorics...

Pecan
 Referenced in 1 article
[sw37887]
 important object in the field of combinatorics on words. It is capable of efficiently proving...

IPO
 Referenced in 0 articles
[sw15166]
 optimization oracle. The motivation comes from polyhedral combinatorics, where the oracle can easily be provided...

Cadabra
 Referenced in 87 articles
[sw00097]
 Cadabra is a powerful computer program for the...

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

CGAL
 Referenced in 381 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

FGb
 Referenced in 246 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FLINT
 Referenced in 56 articles
[sw00297]
 Fast library for number theory: an introduction. We...

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

gfun
 Referenced in 141 articles
[sw00344]
 The gfun package provides tools for determining and...