Certifying certainty and uncertainty in approximate membership query structures

DOI10.1007/978-3-030-53291-8_16zbMath1478.68160arXiv2004.13312MaRDI QIDQ2226742

Ilya Sergey, Kiran Gopinathan

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2004.13312

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68P05: Data structures

68W20: Randomized algorithms

68V20: Formalization of mathematics in connection with theorem provers

Uses Software

• Coq