• CGAL

  • Referenced in 380 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

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

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

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

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

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

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

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

  • Referenced in 30 articles [sw20131]
  • Snap for 3-Manifolds. Snap is a computer...
  • Knotscape

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

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

  • Referenced in 1 article [sw28426]
  • cheeky: A Dehn parental test for orientable finite...
  • hikmot

  • Referenced in 10 articles [sw34524]
  • HIKMOT is a python module that can be...