Formalization of Randomized Approximation Algorithms for Frequency Moments.

Emin Karayel

Browse the full ITP paper archive.