On the Formalization of Gamma Function in HOL.

Umair Siddique Osman Hasan

Published in: J. Autom. Reason. (2014)

Keyphrases

artificial intelligence
piecewise linear
databases
real world
case study
wide range
search algorithm
preprocessing
multiresolution
knowledge representation