Results 1 to 18 of 18
Sort by:

  • 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...