• ISOLATE

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

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

  • Referenced in 149 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...
  • DUNE

  • Referenced in 147 articles [sw01466]
  • create slim interfaces allowing an efficient use of legacy and/or new libraries. Modern C++ programming ... very low overhead. Thus DUNE ensures efficiency in scientific computations and supports high-performance computing...
  • CoSaMP

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

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

  • Referenced in 195 articles [sw20382]
  • systems of linear equations. Attacking these problems efficiently requires an in-depth knowledge...
  • UG

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

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

  • Referenced in 132 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...
  • KNITRO

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

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

  • Referenced in 162 articles [sw02791]
  • large-scale nonlinear programming from both an efficiency and a reliability point of view. This...
  • PRESENT

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

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

  • Referenced in 150 articles [sw07066]
  • analysis methods, like community structure search. The efficient implementation of igraph allows it to handle...
  • RKC

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

  • Referenced in 107 articles [sw11775]
  • message and a key, a Pastry node efficiently routes the message to the node with ... nodes confirm Pastry’s scalability and efficiency, its ability to self-organize and adapt...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • like BDDs; however, they are much more efficient than BDDs when the functions...
  • Yices

  • Referenced in 138 articles [sw04436]
  • Yices is an efficient SMT solver that decides the satisfiability of arbitrary formulas containing uninterpreted...