The solutions to single-variable polynomials, implemented and verified in LeanOpen Website

Nicholas Dyson, Benedikt Ahrens, Jacopo Emmenegger

2022 (modified: 14 Mar 2023)CoRR 2022Readers: Everyone
0 Replies