[2022/11/2] Construction of efficient algorithms for quantifier elimination and their application to solving industrial problems