...
机译:具有方程约束的圆柱代数分解
Coventry Univ Fac Engn Environm & Comp Coventry W Midlands England;
Univ Bath Fac Sci Bath Avon England;
Cylindrical algebraic decomposition; Non linear real arithmetic;
机译:QEPCAD B:用于通过圆柱代数分解计算半代数集的系统
机译:求解圆柱型流形上爱因斯坦约束方程的极限方程准则。
机译:三维无对角圆柱代数方程理论中的一阶逻辑形式化
机译:区间约束传播与圆柱代数分解的共生
机译:具有非协调有限元离散化的不可压缩Stokes方程的约束算法平衡域分解
机译:用Adomian分解法求解非线性高指数Hessenberg微分代数方程的一种新技术。
机译:圆柱代数分解与实体约束