Session BenOr_Kozen_Reif
View
theory dependencies
View
document
View
outline
Theories
Sturm_Tarski.PolyMisc
Sturm_Tarski.Sturm_Tarski
More_Matrix
BKR_Algorithm
Matrix_Equation_Construction
BKR_Proofs
BKR_Decision
Renegar_Algorithm
Renegar_Proofs
Renegar_Decision