• Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • 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...
  • MetaNet

  • Referenced in 2 articles [sw01779]
  • MetaNet: A distributed network management system for information...
  • CUDA

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

  • Referenced in 870 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • VRP

  • Referenced in 1060 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • OEIS

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

  • Referenced in 551 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • GitHub

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

  • Referenced in 3 articles [sw25810]
  • KADABRA is an adaptive algorithm for betweenness via...