On the Formalization of Gamma Function in HOL

Umair Siddique, Sofiéne Tahar
January 2014
PDF
Type
Journal article
Publication
Journal of Automated Reasoning