
rtrie
 Referenced in 0 articles
[sw18478]
 sometimes radix tree or prefix tree is a kind of search tree. This ordered tree...

RRB vector
 Referenced in 1 article
[sw19995]
 underlying innovations are: (1) the RelaxedRadixBalanced (RRB) tree structure, which allows efficient structural ... locality on the RRB data structure in order to offset the cost of traversing...

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

Grail
 Referenced in 17 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

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

PROFIL/BIAS
 Referenced in 106 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

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

BSPlib
 Referenced in 38 articles
[sw03374]
 Portable and architecture independent parallel performance tuning using...

Gromacs
 Referenced in 95 articles
[sw04128]
 GROMACS is a versatile package to perform molecular...

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

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

Scala
 Referenced in 64 articles
[sw07180]
 Steps in Scala. An introduction to objectfunctional...

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

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

FFTPACK
 Referenced in 30 articles
[sw11526]
 FFTPACK is a package of Fortran subprograms for...

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

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