• CoCoA

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

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

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

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

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

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

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

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

  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • Eigen

  • Referenced in 207 articles [sw05781]
  • Eigen is a C++ template library for linear...
  • Traces

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

  • Referenced in 14 articles [sw07826]
  • Secant dimensions of minimal orbits: computations and conjectures...
  • CaTS

  • Referenced in 8 articles [sw08112]
  • CaTS is a software package whose main functions...
  • MINION

  • Referenced in 50 articles [sw10176]
  • MINION is a new constraint solver, which is...
  • SchurRings

  • Referenced in 4 articles [sw11785]
  • SchurRings: a package for computing with symmetric functions...
  • PieriMaps

  • Referenced in 9 articles [sw12137]
  • Computing inclusions of Schur modules. We describe a...