
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 floatingpoint computation which is both efficient and has a welldefined 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 continuationtype 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 bagofwords and skipgram...

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 mixedinteger 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 ”bounceback” 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 lowpower 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 timestep...

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