Formalization of randomized approximation algorithms for frequency moments

DOI10.4230/LIPICS.ITP.2022.21MaRDI QIDQ6572559zbMATH OpenFDO

Authors Emin Karayel

Publication date 15 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2022.21

zbMATH Keywords

formal verificationfrequency momentsIsabelle/HOLrandomized algorithms

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(2)

• Derandomization with pseudorandomness
• Verification of the CVM algorithm with a functional probabilistic invariant

This page was built for publication: Formalization of randomized approximation algorithms for frequency moments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572559)