Log-concavity and log-convexity of series containing multiple Pochhammer symbols

The material on this webpage accompanies the article Log-concavity and log-convexity of series containing multiple Pochhammer symbols by Dmitrii Karp and Yi Zhang.

Discrete_Log_Concavity_Hyper.nb, a Mathematica notebook for proving the discrete log-concavity of certain hypergeometric functions by using Cylindrical Algebraic Decomposition.