• CoCoA

  • Referenced in 595 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

  • Referenced in 1538 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

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

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

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

  • Referenced in 140 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • R

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

  • Referenced in 736 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

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

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

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

  • Referenced in 1885 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • GHC

  • Referenced in 87 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • OEIS

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

  • Referenced in 173 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • Yampa

  • Referenced in 10 articles [sw13681]
  • Yampa is a domain-specific embedded language for...
  • Python

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

  • Referenced in 984 articles [sw19105]
  • R package bootstrap. bootstrap: Functions for the Book...