Faculty of Engineering Environment and Computing Coventry University Coventry CV1 5FB UK;
Computer algebra; Symbolic computation; Non-linear real arithmetic; Cylindrical algebraic decomposition; Machine learning;
机译:圆柱代数分解选择变量有序的三种启发式方法的比较
机译:使用机器学习改善圆柱代数分解
机译:使用机器学习模型预测和选择由图算法重新排序的网格,以缩短水文建模的执行时间
机译:比较机器学习模型选择圆柱形代数分解的变量排序
机译:代数拓扑和机器学习生物分子建模
机译:基于机器学习的心力衰竭再入或死亡预测:选择正确的模型和正确的指标的含义
机译:将机器学习应用于选择启发式选择圆柱代数分解的变量排序问题