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)
- 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
- 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
- RRtools
- SumCracker
- HYP
- HolonomicFunctions
- NewZeil.m
- recpf
- OEIS
- HISTABRUT
- RATE
- HarmonicSums
- EKHAD
- CLT
- MultiZeilberger
- ContMarkovWZ
- EvaluateMultiSums
- MarkovWZ
- MarkovAZ
- qZEILBERGER
- ROBBINS
- SMCper
- ZEILBERGER
- IdentityFinder
- Asymptotics
- Dependencies
- fastZeil
- GeneratingFunctions
- MultiSum
- qGeneratingFunctions
- Singular
- Telescopers
- Stirling
- qseries
- An algorithmic approach to the \(q\)-summability problem of bivariate rational functions
- Derivative operator and summation formulae involving generalized harmonic numbers
- hypergeometricsols
- Guess.m
- DEtools
- stCore
- qTSPP
- BiVariateMoms
- CFSum
- qFunctions
- ore_algebra
- RatDiff
- RhoSum
- Parameterized telescoping proves algebraic independence of sums
- Generalized reciprocity laws for sums of harmonic numbers
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation
- Padé approximations to the logarithm. III: Alternative methods and additional results
- OreSys
- A difference ring theory for symbolic summation
- Indefinite summation with unspecified summands
- Unfair permutations
- The integrals in Gradshteyn and Ryzhik. Part 30: trigonometric functions
- Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields
- SumProduction
- Watson-type3F2-series and summation formulae involving generalized harmonic numbers
- On \(p,q\)-binomial coefficients
- The Abel-Zeilberger algorithm
- Simplifying multiple sums in difference fields
- On the positivity of the Gillis-Reznick-Zeilberger rational function
- Refined holonomic summation algorithms in particle physics
- \texttt{qFunctions} -- a Mathematica package for \(q\)-series and partition theory applications
- A new algorithm for the recursion of hypergeometric multisums with improved universal denominator
- 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
This page was built for software: SIGMA
