“Robust Mean Estimation by All Means” by Reynald Affeldt, Clark Barrett, Alessandro Bruni, Ieva Daukantas, Harun Khan, Takafumi Saikawa, and Carsten Schürmann. In Proceedings of the 15^th International Conference on Interactive Theorem Proving (ITP 2024), (Yves Bertot, Temur Kutsia, and Michael Norrish, eds.), Sep. 2024, pp. 39:1-39:8. Tbilisi, Georgia.
BibTeX entry:
@inproceedings{ABB+24,
author = {Reynald Affeldt and Clark Barrett and Alessandro Bruni and
Ieva Daukantas and Harun Khan and Takafumi Saikawa and Carsten
Sch{\"u}rmann},
editor = {Yves Bertot and Temur Kutsia and Michael Norrish},
title = {Robust Mean Estimation by All Means},
booktitle = {Proceedings of the {\it 15^{th}} International Conference
on Interactive Theorem Proving (ITP 2024)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {309},
pages = {39:1--39:8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
month = sep,
year = {2024},
doi = {10.4230/LIPIcs.ITP.2024.39},
note = {Tbilisi, Georgia},
url =
{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.39}
}
(This webpage was created with bibtex2web.)