• HR

  • Referenced in 29 articles [sw10392]
  • include implication and if-and-only-if conjectures and these become theorems if they ... system -- named after mathematicians Hardy and Ramanujan -- performs theory formation in mathematical domains. It works ... sets (ii) performing the concept formation and conjecture making itself and (iii) using the Otter...
  • IdentityFinder

  • Referenced in 6 articles [sw13628]
  • classical Rogers-Ramanujan identities. The two Rogers-Ramanujan identities and various analogous identities (Euler, Gordon ... computation, to derive six new conjectured identities of Rogers-Ramanujan type...
  • Engel

  • Referenced in 2 articles [sw00238]
  • used to rediscover known or to conjecture new q-series identities. The method is based ... infinite family of identities of Rogers-Ramanujan type...
  • GAP

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

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

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

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

  • Referenced in 11343 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARI/GP

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

  • Referenced in 18 articles [sw00755]
  • The author gives a MATHEMATICA package for finding...
  • qZeil

  • Referenced in 32 articles [sw00770]
  • qZeil is a Mathematica implementation of q-analogues...
  • RRtools

  • Referenced in 31 articles [sw00814]
  • Maple package for aiding the discovery and proof...
  • SageMath

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

  • Referenced in 1291 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • 4ti2

  • Referenced in 134 articles [sw04379]
  • A software package for algebraic, geometric and combinatorial...
  • MeatAxe

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

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

  • Referenced in 24 articles [sw06642]
  • RRtools and recpf Maple packages which were developed...
  • ECPP

  • Referenced in 68 articles [sw06903]
  • ECPP is a package containing a primality proving...
  • OEIS

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