cylindrical algebraic decomposition; truth table invariance; regular chains; triangular decomposition; problem formulation;
机译:完全增量圆柱代数分解
机译:真值表不变圆柱代数分解
机译:国内规范代数的组成代数的三角分解
机译:通过增量三角分解的真实表不变圆柱代数分解的问题制定
机译:广义和广义三角分解在通信和信号处理中的作用。
机译:Clifford代数满足树分解
机译:增量三角分解的真值表不变圆柱代数分解的问题表述