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
Authors Emin Karayel
Publication date 8 April 2022
This page was built for software: Formalization of Randomized Approximation Algorithms for Frequency Moments