• GAP

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

  • Referenced in 95 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • Magma

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

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

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

  • Referenced in 83 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • REDUCE

  • Referenced in 742 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

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

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • CHEVIE

  • Referenced in 228 articles [sw04235]
  • CHEVIE is a computer algebra project for symbolic...
  • Eigtool

  • Referenced in 502 articles [sw07020]
  • EigTool is a free MATLAB package for computing...
  • OEIS

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

  • Referenced in 18 articles [sw07726]
  • SLA. A GAP4 package for doing computations with...
  • coxeter

  • Referenced in 22 articles [sw07772]
  • The coxeter and weyl Packages. The coxeter package...
  • CoReLG

  • Referenced in 11 articles [sw08646]
  • Computing with real Lie algebras: real forms, Cartan...
  • images

  • Referenced in 2 articles [sw27164]
  • GAP Package images. This package provides functionality to...
  • LIPSAT

  • Referenced in 5 articles [sw28633]
  • Probably half true: probabilistic satisfiability over Łukasiewicz infinitely...