
GPU Quicksort
 Referenced in 8 articles
[sw12707]
 graphics processors, such as radix and bitonic sort. quicksort can thus be seen...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

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

SageMath
 Referenced in 1714 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

JML
 Referenced in 188 articles
[sw04597]
 The Java Modeling Language (JML) is a behavioral...

mctoolbox
 Referenced in 1422 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

hfloat
 Referenced in 20 articles
[sw05402]
 hfloat (for huge floats) is a library package...

OEIS
 Referenced in 3522 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

VTune
 Referenced in 19 articles
[sw08852]
 Intel® VTune™ Amplifier. Performance profiler for serial and...

KeY
 Referenced in 63 articles
[sw09969]
 The KeY System is a formal software development...

Algorithm 447
 Referenced in 139 articles
[sw12877]
 Algorithm 447: effcient algorithms for graph manipulation. Efficient...

Quicksort
 Referenced in 151 articles
[sw20694]
 On the adaptiveness of Quicksort. Quicksort was first...