• GAP

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

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

  • Referenced in 314 articles [sw00724]
  • polymake is open source software for research in...
  • CodingTheory

  • Referenced in 8 articles [sw01945]
  • Constant weight codes with package CodingTheory.m in Mathematica...
  • SeDuMi

  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • Flyspeck

  • Referenced in 121 articles [sw10277]
  • Communicating formal proofs: the case of flyspeck. We...
  • BRENT

  • Referenced in 443 articles [sw14021]
  • BRENT Algorithms for Minimization Without Derivatives. BRENT is...