Session Budan_Fourier
View
theory dependencies
View
document
View
outline
Theories
Sturm_Tarski.PolyMisc
Sturm_Tarski.Sturm_Tarski
BF_Misc
Budan_Fourier
Sturm_Multiple_Roots
Descartes_Roots_Test