(Translated by https://www.hiragana.jp/)
[2102.00115] Certified evaluations of Hölder continuous functions at roots of polynomials