Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

Ieva Daukantas, Alessandro Bruni, Carsten Schürmann. Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. In Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM, 2021. [doi]

Authors

Ieva Daukantas

This author has not been identified. Look up 'Ieva Daukantas' in Google

Alessandro Bruni

This author has not been identified. Look up 'Alessandro Bruni' in Google

Carsten Schürmann

This author has not been identified. Look up 'Carsten Schürmann' in Google