@inproceedings{DBLP:conf/ppdp/DaukantasBS21,
author = {Ieva Daukantas and
Alessandro Bruni and
Carsten Sch{\"{u}}rmann},
editor = {Niccol{\`{o}} Veltri and
Nick Benton and
Silvia Ghilezan},
title = {Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation},
booktitle = {{PPDP} 2021: 23rd International Symposium on Principles and Practice
of Declarative Programming, Tallinn, Estonia, September 6-8, 2021},
pages = {17:1--17:9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3479394.3479412},
doi = {10.1145/3479394.3479412},
timestamp = {Wed, 10 Jan 2024 22:27:40 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/DaukantasBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
