Q
uantifier_
E
limination_
H
ybrid
Multiv_Poly_Props
Multiv_Consistent_Sign_Assignments
Multiv_Pseudo_Remainder_Sequence
Hybrid_Multiv_Matrix
Hybrid_Multiv_Algorithm
Multiv_Tarski_Query
Renegar_Modified
Hybrid_Multiv_Matrix_Proofs
Hybrid_Multiv_Algorithm_Proofs