...
机译:在构造几何约束求解中重新探究变半径圆
Univ Politecn Catalunya, Escola Tecn Super Engn Ind, Barcelona, Catalonia, Spain;
geometric constraint solving; variable radius circles; constructive solvers; algebraic solvers; cyclographic maps; CLUSTERS;
机译:几何约束中聚类的可变半径圆I.平移聚类
机译:将构造性几何约束求解器应用于带间隔参数的几何问题
机译:基于动态几何的构造几何约束求解中的可达性问题
机译:建设性的几何约束作为KR的基于KR的声明空间推理的一般框架
机译:用于几何约束求解的图和组合算法。
机译:儿童建设性游戏活动空间能力与数学解题能力之间的关系:六年级学生的中介分析
机译:构造性几何约束求解中的符号约束
机译:模型实验,以确定转弯时横倾角和转弯半径的美国驱逐舰“法拉格特”的半径