• FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • GAP

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

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • HYPERG

  • Referenced in 5 articles [sw00423]
  • HYPERG: a Maple package for manipulating hypergeometric series...
  • Invar

  • Referenced in 35 articles [sw00446]
  • The Invar Tensor Package. The Invar package is...
  • Isabelle

  • Referenced in 710 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Kronecker

  • Referenced in 117 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • Macaulay2

  • Referenced in 1921 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

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

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

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

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

  • Referenced in 26 articles [sw00586]
  • Due to a detailed description of the underlying...
  • MuPAD

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

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

  • Referenced in 220 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • Octave

  • Referenced in 304 articles [sw00646]
  • GNU Octave is a high-level language, primarily...