Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.

Hiroyuki Okazaki, Yuichi Futa

Browse the full CIKM paper archive.