Quantifier_Elimination_Hybrid

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