swMATH6904MaRDI QIDQ18971FDOQ18971
Author name not available (Why is that?)
Official website: http://www.risc.jku.at/research/combinat/software/Sigma/index.php/
Cited In (only showing first 100 items - show all)
- Some variations of a ‘divergent’ Ramanujan-type q-supercongruence
- The massless three-loop Wilson coefficients for the deep-inelastic structure functions \(F_2\), \(F_L\), \(xF_3\) and \(g_1\)
- Symbolic summation methods and congruences involving harmonic numbers
- Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
- NestedProducts
- THE ITERATED INTEGRALS OF ln(1 + xn)
- Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering
- Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities
- On two supercongruences for sums of Apéry-like numbers
- Infinite series identities on harmonic numbers
- MultipleZetaValues
- On two congruences involving Apéry and Franel numbers
- Hexagon bootstrap in the double scaling limit
- \(q\)-Gosper algorithm and simple Bailey pairs
- Plane partitions. VI: Stembridge's TSPP theorem
- Proof of a supercongruence via the Wilf-Zeilberger method
- Accelerating indefinite summation: simple classes of summands
- Modeling and simulation of discrete event systems
- Whipple-type 3F2-series and summation formulae involving generalized harmonic numbers
- Discrete analogues of Macdonald-Mehta integrals
- Proof of a conjecture of Adamchuk
- Proof of two congruences concerning Legendre polynomials
- Ramanujan-type supercongruences involving Almkvist-Zudilin numbers
- Some supercongruences arising from symbolic summation
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- A new \(q\)-extension of the (H.2) congruence of Van Hamme for primes \(p\equiv 1\pmod{4}\)
- A generalized supercongruence of Kimoto and Wakayama
- Supercongruences involving \(p\)-adic gamma functions
- Title not available (Why is that?)
- On some integrals involving Chebyshev polynomials
- On a supercongruence conjecture of Z.-W. Sun
- Supercongruences for sums involving Domb numbers
- On two congruences involving Franel numbers
- Proof of Sun's conjectural supercongruence involving Catalan numbers
- A modular supercongruence for \({}_6 F_5\): an Apéry-like story
- A polynomial identity implying Schur's partition theorem
- Some congruences related to a congruence of Van Hamme
- The absent-minded passengers problem: a motivating challenge solved by computer algebra
- Four families of summation formulas involving generalized harmonic numbers
- Creative telescoping on multiple sums
- On Van Hamme's (A.2) and (H.2) supercongruences
- Semi-automated proof of supercongruences on partial sums of hypergeometric series
- The three-loop polarized singlet anomalous dimensions from off-shell operator matrix elements
- Exact Formulae for Variances of Functionals of Convex Hulls
- Some supercongruences on truncated \(_3F_2\) hypergeometric series
- Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
- On double sum generating functions in connection with some classical partition theorems
- Gauss's theorem and harmonic number summation formulae with certain mathematical constants
- Minimal representations and algebraic relations for single nested products
- Analytic continuation of harmonic sums: dispersion representation
- A case study for \(\zeta (4)\)
- Truncating binomial series with symbolic summation
- Symbolic summation methods and hypergeometric supercongruences
- On some supercongruence conjectures for truncated hypergeometric series
- FeynGame
- Using nonlinear difference equations to study Quicksort algorithms
- Dual-pivot quicksort: optimality, analysis and zeros of associated lattice paths
- Combinatorial identities involving reciprocals of the binomial and central binomial coefficients and harmonic numbers
- A matrix with sums of Catalan numbers -- LU-decomposition and determinant
- New congruences and finite difference equations for generalized factorial functions
- On some congruences involving Apéry-like numbers Sn
- Evaluation of Binomial Double Sums Involving Absolute Values
- Extensions of the AZ-Algorithm and the Package MultiIntegrate
- Asymptotic Expansions
- MultiIntegrate
- Higgs boson contribution to the leading two-loop Yukawa corrections to \(gg \rightarrow HH\)
- A supercongruence relation among Apéry-like numbers
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
- Term algebras, canonical representations and difference ring theory for symbolic summation
- A Saalschütz-type identity and summation formulae involving generalized harmonic numbers
- Summation algorithms for Stirling number identities
- On recurrences for Ising integrals
- A Computer Proof of Moll’s Log-Concavity Conjecture
- The Gauss \(_{2}F_{1}(1)\)-summation theorem and harmonic number identities
- Structural theorems for symbolic summation
- Solving parameterized linear difference equations in terms of indefinite nested sums and products
- Trading order for degree in creative telescoping
- A symbolic summation approach to Feynman integral calculus
- Computing the complexity for Schelling segregation models
- Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
- Structural relations of harmonic sums and Mellin transforms up to weight \(w=5\)
- Dixon's \(_3F_2(1)\)-series and identities involving harmonic numbers and the Riemann zeta function
- A refined difference field theory for symbolic summation
- The non-commutative \(A\)-polynomial of twist knots
- An algorithm for deciding the summability of bivariate rational functions
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Automated proofs for some Stirling number identities
- Hypergeometric summation algorithms for high-order finite elements
- Apéry's double sum is plain sailing indeed
- Gaussian hypergeometric series and supercongruences
- A telescoping method for double summations
- Congruences concerning generalized central trinomial coefficients
- gfun
- qMultiSum
- qZeil
- HolonomicFunctions
- NewZeil.m
- recpf
- OEIS
- HISTABRUT
This page was built for software: SIGMA
