Session Three_Circles
View
theory dependencies
View
document
View
outline
Theories
Sturm_Tarski.PolyMisc
Sturm_Tarski.Sturm_Tarski
Budan_Fourier.BF_Misc
Budan_Fourier.Budan_Fourier
Polynomial_Interpolation.Ring_Hom
Polynomial_Interpolation.Missing_Unsorted
Polynomial_Interpolation.Missing_Polynomial
Polynomial_Interpolation.Ring_Hom_Poly
RRI_Misc
Bernstein_01
Bernstein
Normal_Poly
Three_Circles