• CoCoA

  • Referenced in 563 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • FGb

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

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

  • Referenced in 17 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • LAPACK

  • Referenced in 1503 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

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

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

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

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

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

  • Referenced in 183 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • PARI/GP

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

  • Referenced in 460 articles [sw04208]
  • EISPACK is a collection of Fortran subroutines that...
  • GLPK

  • Referenced in 149 articles [sw04560]
  • The GLPK (GNU Linear Programming Kit) package is...
  • UBASIC

  • Referenced in 30 articles [sw06033]
  • UBASIC is a BASIC-like environment which is...
  • OEIS

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

  • Referenced in 52 articles [sw07249]
  • Welcome to the LMFDB, the database of L...
  • ISOLATE

  • Referenced in 186 articles [sw07741]
  • Efficient isolation of polynomial’s real roots. This...
  • Traces

  • Referenced in 76 articles [sw07823]
  • Search Space Contraction in Canonical Labeling of Graphs...