cylindrical algebraic decomposition; quantifier elimination;
机译:使用全面的二维气相色谱仪进行分析物定量:评估基线校正,峰描绘和消除真实样品的基质效应的方法
机译:Hwang and Chen的约束方程来消除纸张的秩序,电路和分支缺陷:史诗森-III运动发生器的无缺陷合成,在机械工程科学杂志上发表于2008年; 222:2485-2494
机译:Witt向量上线性差分方程中的量词消除
机译:两个等级约束的基于CAD的量化中品种的脱节性
机译:消除代数微分方程组。
机译:偏微分品种中波动方程和厄米结构的量化
机译:线性模幂方程和方程的量词消除算法⋆
机译:约束方程:语义网络中量化约束的简明可比表示