
Tyrolean
 Referenced in 89 articles
[sw07830]
 argument filtering, bounds, dependency pair method, KnuthBendix order, lexicographic path order, loop detection, matrix...

PipLib
 Referenced in 19 articles
[sw23763]
 software that finds the lexicographic minimum (or maximum) in the set of integer points belonging ... algorithm followed by the parameterized dual simplex method. The PIP Library (PipLib for short...

FrameNet
 Referenced in 5 articles
[sw01965]
 success of statistical or keyword based methods, deeper Knowledge Representation (KR) techniques along with “inference ... explain the meaning of words from a lexicographic perspective. Our main contribution is a transformation ... flexibility of our transformation. Together with methods for automatic annotation of text documents with frame...

msolve
 Referenced in 2 articles
[sw38093]
 systems of dimension zero through computer algebra methods. The core algorithmic framework of msolve relies ... Gröbner basis computation w.r.t. the degree reverse lexicographical order, Gröbner conversion to a lexicographical Gröbner...

Nucleolus
 Referenced in 1 article
[sw40377]
 stable’ solution in the sense that it lexicographically minimizes the dissatisfactions among all coalitions. Although ... challenging, the Kohlberg criterion offers a powerful method for verifying whether a solution...

balancedTSPCode
 Referenced in 1 article
[sw40800]
 balanced traveling salesman problem with a lexicographic objective. This paper presents a Mixed Integer Program ... variants of the Balanced TSP. The proposed method was ranked first in the MESS18 Metaheuristic...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

BPMPD
 Referenced in 41 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

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

DEA
 Referenced in 244 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

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

Grail
 Referenced in 22 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

Kronecker
 Referenced in 117 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LGO
 Referenced in 96 articles
[sw00516]
 The program system LGO serves to solve global...

MA48
 Referenced in 26 articles
[sw00535]
 The design of MA48: A code for the...

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

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

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

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