• CoCoA

  • Referenced in 634 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

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

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

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

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

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

  • Referenced in 1412 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • deal.ii

  • Referenced in 565 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • Haskell

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

  • Referenced in 227 articles [sw04235]
  • CHEVIE is a computer algebra project for symbolic...
  • FEniCS

  • Referenced in 623 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • DLMF

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

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

  • Referenced in 317 articles [sw09051]
  • Computer algebra system (CAS) for very big calculations...
  • NGSolve

  • Referenced in 69 articles [sw13154]
  • NGSolve - 3D Finite Element Solver. With NGSolve one...
  • Nemo

  • Referenced in 12 articles [sw20280]
  • Nemo/Hecke: Computer Algebra and Number Theory Packages for...