• Coq

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

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

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

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • PARI/GP

  • Referenced in 636 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • R

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

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

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

  • Referenced in 555 articles [sw06294]
  • NumPy is the fundamental package for scientific computing...
  • OEIS

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

  • Referenced in 117 articles [sw08493]
  • Manopt, a Matlab toolbox for optimization on manifolds...
  • PermLib

  • Referenced in 7 articles [sw09845]
  • PermLib is a C++ library for permutation computations...
  • GAviewer

  • Referenced in 10 articles [sw10858]
  • GAviewer, interactive visualization software for geometric algebra. Geometric...
  • Python

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

  • Referenced in 127 articles [sw30194]
  • A rigorous ODE solver and Smale’s 14th...
  • ESC

  • Referenced in 4 articles [sw32831]
  • ESC: Maple library elliptic surface calculator. ...