• MPT

  • Referenced in 235 articles [sw04732]
  • constrained linear, nonlinear and hybrid systems. Efficiency of the code is guaranteed by the extensive...
  • MPFR

  • Referenced in 232 articles [sw03312]
  • precision floating-point computation which is both efficient and has a well-defined semantics...
  • VanHuffel

  • Referenced in 231 articles [sw05243]
  • mainly due to the development of computationally efficient and numerically reliable TLS algorithms. Much attention...
  • CoSaMP

  • Referenced in 231 articles [sw08727]
  • storage. It is likely to be extremely efficient for practical problems because it requires only...
  • ISOLATE

  • Referenced in 221 articles [sw07741]
  • Efficient isolation of polynomial’s real roots. This paper revisits an algorithm isolating the real...
  • NBI

  • Referenced in 217 articles [sw05075]
  • than two objectives while retaining the computational efficiency of continuation-type algorithms. This...
  • igraph

  • Referenced in 212 articles [sw07066]
  • graph theory, with an emphasis on efficiency, portability and ease of use. igraph...
  • NQTHM

  • Referenced in 151 articles [sw07543]
  • changes in the logic itself are the efficient use of functions in the logic ... Metafunctions: proving them correct and using them efficiently as new proof procedures” [in “The correctness...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • subroutine, it is written in C for efficiency, the code runs in parallel on shared...
  • word2vec

  • Referenced in 202 articles [sw14978]
  • This tool provides an efficient implementation of the continuous bag-of-words and skip-gram...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • highly regarded for its robustness and efficiency. KNITRO provides a wide range of user options...
  • UG

  • Referenced in 191 articles [sw04596]
  • Over the past two decades, some very efficient techniques for the numerical solution of partial...
  • MINTO

  • Referenced in 135 articles [sw04587]
  • that can customize MINTO to achieve maximum efficiency for a problem class ... effective and efficient as possible when used as a general purpose mixed-integer optimizer, MINTO...
  • SDPA

  • Referenced in 186 articles [sw03275]
  • Programming Algorithm)” is one of the most efficient and stable software packages for solving SDPs...
  • TetGen

  • Referenced in 185 articles [sw04046]
  • software components of TetGen, including an efficient tetrahedral mesh data structure, a set of enhanced...
  • Proteus

  • Referenced in 106 articles [sw41563]
  • simulations of particulate flows. A new and efficient direct numerical method for the simulation ... motion of a particle in a more efficient way. Compared to the ”bounce-back” scheme ... particles of irregular shapes simpler and more efficient. Proteus has been developed ... under gravity. As a demonstration of the efficiency and capabilities of the present method...
  • PRESENT

  • Referenced in 182 articles [sw08313]
  • where low-power consumption and high chip efficiency is desired. The International Organization for Standardization...
  • copula

  • Referenced in 175 articles [sw14499]
  • former package ’nacopula’ for nested Archimedean copulas: Efficient sampling algorithms, various estimators, goodness...
  • RKC

  • Referenced in 126 articles [sw00808]
  • select at each step the most efficient stable formula and the most efficient time-step...
  • SNAP

  • Referenced in 172 articles [sw04184]
  • nodes, and billions of edges. It efficiently manipulates large graphs, calculates structural properties, generates regular...