• Mathematica

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

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

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

  • Referenced in 138 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • nauty

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

  • Referenced in 85 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...
  • PARI/GP

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

  • Referenced in 215 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • Plural

  • Referenced in 80 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • polymake

  • Referenced in 297 articles [sw00724]
  • polymake is open source software for research in...
  • REDUCE

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

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

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

  • Referenced in 131 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...
  • AUTO

  • Referenced in 885 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • LiE

  • Referenced in 151 articles [sw01075]
  • LiE is the name of a software package...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • PVS

  • Referenced in 616 articles [sw03484]
  • PVS is a verification system: that is, a...
  • PETSc

  • Referenced in 1176 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...