• Tyrolean

  • Referenced in 89 articles [sw07830]
  • argument filtering, bounds, dependency pair method, Knuth-Bendix 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...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BPMPD

  • Referenced in 41 articles [sw00088]
  • BPMPD is a state-of-the-art 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 high-level language and interactive...