• Macaulay2

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

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

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

  • Referenced in 561 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

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

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

  • Referenced in 38 articles [sw01249]
  • Rapide: A language and toolset for simulation of...
  • TrustME

  • Referenced in 1 article [sw01696]
  • Using the TrustME tool suite for automatic component...
  • Eiffel

  • Referenced in 290 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • MOCHA

  • Referenced in 91 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a...