Results 1 to 20 of 20
Sort by:

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