• 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 Relaxed-Radix-Balanced (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 high-level 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, open-source 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 object-functional...
  • OEIS

  • Referenced in 2752 articles [sw07248]
  • The On-Line 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...