cylindrical algebraic decomposition; equational constraint; regular chains; triangular decomposition;
机译:真值表不变圆柱代数分解
机译:常规圆柱代数分解
机译:QEPCAD B:用于通过圆柱代数分解计算半代数集的系统
机译:真理表不变圆柱形代数分解通过常规链
机译:与低整体维数的正则渐变斜Clifford代数有关的正则代数。
机译:硫酸软骨素的不变链三聚体具有常规不变链,并且这些复合物从反高尔基网络迅速转运到细胞表面
机译:4正则链的真值表不变圆柱代数分解