Formalization of Randomized Approximation Algorithms for Frequency Moments

From MaRDI portal








This page was built for software: Formalization of Randomized Approximation Algorithms for Frequency Moments