• GAP

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

  • Referenced in 767 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Mathematica

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

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

  • Referenced in 43 articles [sw04862]
  • Computational topology with Regina: algorithms, heuristics and implementations...
  • SnapPea

  • Referenced in 163 articles [sw06873]
  • A program for creating and studying hyperbolic 3...
  • SnapPy

  • Referenced in 138 articles [sw06874]
  • SnapPy is a program for studying the topology...
  • OEIS

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

  • Referenced in 17 articles [sw08976]
  • KhoHo: a program for computing Khovanov homology. ...
  • Knotscape

  • Referenced in 55 articles [sw20481]
  • Knotscape: An interactive program for the study of...
  • HFK

  • Referenced in 19 articles [sw20975]
  • HFK: Computations of Heegaard-Floer knot homology....
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...