Counting polynomial roots in Isabelle/HOL: a formal proof of the Budan-Fourier theorem
Project: ALEXANDRIA
Updated at: 27-04-2024
Show more
information
Project acronym
ALEXANDRIA