• 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 p-adic 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 high-level 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 high-performance, 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, open-source 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...