• Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • Normaliz

  • Referenced in 172 articles [sw00630]
  • Normaliz is a tool for computations in affine...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • L-BFGS-B

  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • AutoCAD

  • Referenced in 40 articles [sw01741]
  • Formen und gestalten Sie die Welt, die Sie...
  • DistAl

  • Referenced in 103 articles [sw01746]
  • DistAl: An inter-pattern distance-based constructive learning...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • DT-CWT

  • Referenced in 100 articles [sw02857]
  • Research on pixel-level image fusion algorithm based...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • NEURON

  • Referenced in 187 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...
  • ANTLR

  • Referenced in 66 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • CUDA

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

  • Referenced in 30 articles [sw03373]
  • The human brain is a recurrent neural network...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...