• ATENSOR

  • Referenced in 5 articles [sw00055]
  • ATENSOR - REDUCE program for tensor simplification. Nature of...
  • Coq

  • Referenced in 1159 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

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

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

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

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

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

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

  • Referenced in 796 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Cayley

  • Referenced in 111 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...
  • MACSYMA

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

  • Referenced in 41 articles [sw02156]
  • HAVAL is a cryptographic hash function. Unlike MD5...
  • CHEVIE

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

  • Referenced in 45 articles [sw04906]
  • The MeatAxe - Computing with Modular Representations. The MeatAxe...
  • DLMF

  • Referenced in 679 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • OEIS

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

  • Referenced in 67 articles [sw07516]
  • GRAPE is a GAP package for computing with...
  • orb

  • Referenced in 7 articles [sw07720]
  • GAP package orb. The orb package is about...