Recommendations
Estimating gamma function by digamma function
The aim of this paper is to refine some recent results stated by Alzer and Grinshpan [H. Alzer, A.Z. Grinshpan, Inequalities for the gamma and q-gamma functions J. Approx. Theory 144 (2007) 67-83] and Batir [N. Batir, An interesting double inequality ...
On the Formalization of Gamma Function in HOL
The Gamma function is a special transcendental function that is widely used in probability theory, fractional calculus and analytical number theory. This paper presents a higher-order logic formalization of the Gamma function using the HOL4 theorem ...
Comments