New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
scientific article; zbMATH DE number 7635705
scientific article