
HR
 Referenced in 29 articles
[sw10392]
 include implication and ifandonlyif 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 RogersRamanujan identities. The two RogersRamanujan identities and various analogous identities (Euler, Gordon ... computation, to derive six new conjectured identities of RogersRamanujan type...

Engel
 Referenced in 2 articles
[sw00238]
 used to rediscover known or to conjecture new qseries identities. The method is based ... infinite family of identities of RogersRamanujan 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 highlevel 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 qanalogues...

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

SageMath
 Referenced in 1468 articles
[sw00825]
 Sage (SageMath) is free, opensource 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 OnLine Encyclopedia of Integer Sequence. The...