Validated Numerical Hensel Lifting. - Bréhard, Florent; Krüger, Jasmin; Poteaux, Adrien; Vinciguerra, Arthur (Mathematics in Computer Science, 2026)