SIGMA
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Automated proofs for some Stirling number identities
- Dixon's \(_3F_2(1)\)-series and identities involving harmonic numbers and the Riemann zeta function
- gfun
- qMultiSum
- qZeil
- RRtools
- SumCracker
- On Van Hamme's (A.2) and (H.2) supercongruences
- HYP
- A generalized supercongruence of Kimoto and Wakayama
- Four families of summation formulas involving generalized harmonic numbers
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Refined holonomic summation algorithms in particle physics
- Semi-automated proof of supercongruences on partial sums of hypergeometric series
- recpf
- NewZeil.m
- HolonomicFunctions
- OEIS
- Infinite series identities on harmonic numbers
- On double sum generating functions in connection with some classical partition theorems
- Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
- Supercongruences for sums involving Domb numbers
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- \texttt{qFunctions} -- a Mathematica package for \(q\)-series and partition theory applications
- Proof of a supercongruence via the Wilf-Zeilberger method
- Proof of a conjecture of Adamchuk
- Proof of two congruences concerning Legendre polynomials
- On two supercongruences for sums of Apéry-like numbers
- Creative telescoping on multiple sums
- HISTABRUT
- The absent-minded passengers problem: a motivating challenge solved by computer algebra
- The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
- Analytic continuation of harmonic sums: dispersion representation
- On a supercongruence conjecture of Z.-W. Sun
- A case study for \(\zeta (4)\)
- Ramanujan-type supercongruences involving Almkvist-Zudilin numbers
- RATE
- \(q\)-Gosper algorithm and simple Bailey pairs
- HarmonicSums
- On two congruences involving Franel numbers
- On two congruences involving Apéry and Franel numbers
- Minimal representations and algebraic relations for single nested products
- Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering
- Hexagon bootstrap in the double scaling limit
- On some supercongruence conjectures for truncated hypergeometric series
- A new \(q\)-extension of the (H.2) congruence of Van Hamme for primes \(p\equiv 1\pmod{4}\)
- Accelerating indefinite summation: simple classes of summands
- An algorithm for deciding the summability of bivariate rational functions
- Structural theorems for symbolic summation
- Some supercongruences arising from symbolic summation
- Symbolic summation methods and hypergeometric supercongruences
- EKHAD
- MultiZeilberger
- Symbolic summation methods and congruences involving harmonic numbers
- CLT
- MarkovWZ
- MarkovAZ
- ContMarkovWZ
- ZEILBERGER
- qZEILBERGER
- EvaluateMultiSums
- SMCper
- ROBBINS
- Summation algorithms for Stirling number identities
- Plane partitions. VI: Stembridge's TSPP theorem
- Indefinite summation with unspecified summands
- A telescoping method for double summations
- IdentityFinder
- Telescopers
- Singular
- Asymptotics
- GeneratingFunctions
- MultiSum
- fastZeil
- qGeneratingFunctions
- Stirling
- Dependencies
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- An algorithmic approach to the q-summability problem of bivariate rational functions
- Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\)
- The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
- qseries
- Modeling and simulation of discrete event systems
- scientific article; zbMATH DE number 5903099 (Why is no real title available?)
- Gaussian hypergeometric series and supercongruences
- A new algorithm for the recursion of hypergeometric multisums with improved universal denominator
- hypergeometricsols
- The non-commutative A-polynomial of twist knots
- Guess.m
- THE ITERATED INTEGRALS OF ln(1 + xn)
- DEtools
- stCore
- Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities
- Evaluation of Binomial Double Sums Involving Absolute Values
- Generalized reciprocity laws for sums of harmonic numbers
- On p,q-binomial coefficients
- The Gauss \(_{2}F_{1}(1)\)-summation theorem and harmonic number identities
- qTSPP
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
- BiVariateMoms
This page was built for software: SIGMA
