• Coq

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

  • Referenced in 250 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

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

  • Referenced in 1373 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SeDuMi

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

  • Referenced in 2550 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • RODAS

  • Referenced in 1533 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • NuSMV

  • Referenced in 295 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • YALMIP

  • Referenced in 907 articles [sw04595]
  • YALMIP Yet another LMI parser. YALMIP is a...
  • Uppaal

  • Referenced in 625 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • MPI

  • Referenced in 494 articles [sw06496]
  • Automatic differentiation through the use of hyper-dual...
  • Python

  • Referenced in 1352 articles [sw14460]
  • Python is a widely used high-level, general...
  • GitHub

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