• Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 9188 articles [sw00771]
  • R is a language and environment for statistical...
  • CUDA

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

  • Referenced in 799 articles [sw04348]
  • Simulink® is an environment for multidomain simulation and...
  • Genocop

  • Referenced in 1092 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • mctoolbox

  • Referenced in 1462 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • SciPy

  • Referenced in 677 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • ChaCha

  • Referenced in 31 articles [sw07098]
  • ChaCha, a variant of Salsa20. ChaCha8 is a...
  • Rumba20

  • Referenced in 15 articles [sw07099]
  • New features of Latin dances: analysis of Salsa...
  • OEIS

  • Referenced in 4006 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • TestU01

  • Referenced in 114 articles [sw08033]
  • TestU01 is a software library, implemented in the...
  • PyTorch

  • Referenced in 299 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks...
  • ImageNet

  • Referenced in 521 articles [sw21105]
  • ImageNet is an image dataset organized according to...
  • GitHub

  • Referenced in 2108 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • AlexNet

  • Referenced in 398 articles [sw38522]
  • AlexNet is a convolutional neural network that is...