
CTcong.txt
 Referenced in 5 articles
[sw30553]
 Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences. Many combinatorial ... variable (x) with integer coefficients. Denoting such a sequence by (a_k), we obtain ... general formula that determines the congruence class, modulo (p), of the indefinite sum (sumlimits ... coefficients. This enables us (or rather, our computers) to automatically discover and prove congruence theorems...

IntegerSequences
 Referenced in 2 articles
[sw25549]
 function enumerating binomial coefficients by their padic valuations, and proving congruences for combinatorial sequences...

MHS
 Referenced in 1 article
[sw31594]
 finitely many inequalities between polynomials with rational coefficients. Although periods are typically transcendental numbers, there ... periods called multiple zeta values and congruences for rational numbers modulo prime powers (called supercongruences...

BARON
 Referenced in 311 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2850 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GELDA
 Referenced in 33 articles
[sw00331]
 GELDA is a Fortran77 sofware package for the...

LAPACK
 Referenced in 1626 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1658 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5040 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12074 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Normaliz
 Referenced in 149 articles
[sw00630]
 Normaliz is a tool for computations in affine...

NTL
 Referenced in 200 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

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

polymake
 Referenced in 292 articles
[sw00724]
 polymake is open source software for research in...

SageMath
 Referenced in 1620 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

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

wedderga
 Referenced in 13 articles
[sw01019]
 GAP package Wedderga: Wedderburn Decomposition of Group Algebras...