TY  - RPRT
TI  - The solutions to single-variable polynomials, implemented and verified in Lean
AU  - Nicholas Dyson
AU  - Benedikt Ahrens
AU  - Jacopo Emmenegger
PY  - 2022
UR  - https://arxiv.org/abs/2201.00255
ID  - 2201.00255
ER  -