The solutions to single-variable polynomials, implemented and verified in Lean.

Nicholas Dyson Benedikt Ahrens Jacopo Emmenegger

Published in: CoRR (2022)

Keyphrases

information retrieval
real time
search engine
social networks
optimal solution
search algorithm
relational databases
multiresolution
efficient solutions
similar problems