CA for Combinatorics, 2021

Lecture 27.4.2021

<<Sigma.m

mySum=SigmaSum[1/(k+1) SigmaBinomial[2 k,k]/(n-k) SigmaBinomial[2 n-2 k-2,n-k-1],{k,0,A}]

sol=SigmaReduce[mySum]

sol/.A->n-1//CollectProdSum

Lecture 11.5.2021

GeneratingFunctions

Exit[]

<<RISC`GeneratingFunctions`

Package GeneratingFunctions version 0.8 written by Christian Mallinger
Copyright Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria

tree=GuessRE[{1,1,2,5,14,42},a[n]]

de=RE2DE[tree[[1]],a[n],f[x]]

DSolve[de,f[x],x]

Lecture 22.6.2021

Exit[]

<<RISC`GeneratingFunctions`

Package GeneratingFunctions version 0.8 written by Christian Mallinger
Copyright Research Institute for Symbolic Computation (RISC),
Johannes Kepler University, Linz, Austria

rec=(n+2)H[n+2]-(2n+3)H[n+1]+(n+1)H[n]==0

de=RE2DE[rec,H[n],h[x]]

DE2RE[de,h[x],H[n]]

rec=a[n+1]-(n+1)a[n]==0

de=RE2DE[rec,a[n],f[x]]

DE2RE[de,f[x],a[n]]

Example 1

de=y'[x]-y[x]==0

de2=ACompose[de,y[x]^2==x^2/(1-4x),y[x]]

de2[[1]]/.{y[x]->E^(x/Sqrt[1-4x]), y'[x]:>D[E^(x/Sqrt[1-4x]),x],y''[x]:>D[D[E^(x/Sqrt[1-4x]),x],x]}//Simplify

Example 2

de1=y'[x]-y[x]==0

rec=F[n+1]-(n+1)F[n]==0

de2=RE2DE[rec,F[n],y[x]]

de3=DEPlus[de1,de2,y[x]]

Example 3

rec=(n+1)^3 F[n+1]-F[n]==0

rec1=RECauchy[rec,rec,F[n]]

recH= F[n+1]-(n+1)^3F[n]==0

rec2=REHadamard[rec1,recH,F[n]]

rec3=REHadamard[rec2,rec2,F[n]]

de=RE2DE[rec3,F[n],y[x]]

<<Sigma.m

mySum=SigmaSum[SigmaBinomial[n,k]^3,{k,0,n}]

recSigma=GenerateRecurrence[mySum]

Lecture 29.6.2021

Symbolic summation

Exit[]

<<Sigma.m;

Indefinite summation

mySum=SigmaSum[SigmaFactorial[k]k,{k,a,b}]

SigmaReduce[mySum]

mySum=SigmaSum[SigmaPower[-1,k]SigmaBinomial[n,k]SigmaHNumber[k],{k,a,b}]

SigmaReduce[mySum]

mySum=SigmaSum[SigmaSum[SigmaBinomial[n,k],{k,0,r}]^2,{r,0,b}]

res=SigmaReduce[mySum]

mySum-res/.{b->10}//Together

Definite summation

mySum=SigmaSum[SigmaHNumber[k]^0SigmaBinomial[n,k],{k,0,n}]

SigmaReduce[mySum]

rec=GenerateRecurrence[mySum]

recSol=SolveRecurrence[rec[[1]],SUM[n]]

FindLinearCombination[recSol,mySum,n,3]