B
en
O
r_
K
ozen_
R
eif
More_Matrix
BKR_Algorithm
Matrix_Equation_Construction
BKR_Proofs
BKR_Decision
Renegar_Algorithm
Renegar_Proofs
Renegar_Decision