
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 floatingpoint computation which is both efficient and has a welldefined 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 highperformance 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 indepth 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 continuationtype 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 mixedinteger 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]
 largescale nonlinear programming from both an efficiency and a reliability point of view. This...

PRESENT
 Referenced in 160 articles
[sw08313]
 where lowpower 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 timestep...

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 selforganize 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...