
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 1502 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 10365 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 1248 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 98 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 1241 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

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

OEIS
 Referenced in 2752 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 31 articles
[sw11526]
 FFTPACK is a package of Fortran subprograms for...

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