
KLEE
 Referenced in 45 articles
[sw04894]
 coverage — on average over 90% per tool (median: over 94%) — and significantly beat the coverage ... where it found 56 serious bugs, including three in COREUTILS that had been missed...

APlibrary
 Referenced in 3 articles
[sw39855]
 discrete ordered median problems. We present different formulations considering threeindex variables or covering variables...

TukeyRegion
 Referenced in 1 article
[sw41734]
 Tukey median) are calculated. Tukey regions are visualized in dimension two and three. For details...

MetaPSICOV
 Referenced in 1 article
[sw17012]
 metapredictor (MetaPSICOV) which combines three distinct approaches for inferring covariation signals from multiple sequence ... scores of models by a median of 0.05 compared with PSICOV. Lastly, for predicting long...

EDGE
 Referenced in 25 articles
[sw00228]
 Edge is a CFD flow solver for unstructured...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

mclust
 Referenced in 315 articles
[sw00563]
 R package mclust: Normal Mixture Modeling for Model...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 746 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

Scilab
 Referenced in 175 articles
[sw00834]
 Scilab includes hundreds of mathematical functions. It has...

TSPLIB
 Referenced in 711 articles
[sw00983]
 TSPLIB is a library of sample instances for...

SCIP
 Referenced in 554 articles
[sw01091]
 SCIP is currently one of the fastest non...

COBRA
 Referenced in 26 articles
[sw02211]
 COBRA: An optimized code for fast analysis of...

JMEANS
 Referenced in 74 articles
[sw02649]
 JMEANS: A new local search heuristic for...

ELECTRE
 Referenced in 130 articles
[sw02971]
 Electre Methods. Over the last three decades a...

CUDA
 Referenced in 1336 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...