退出
我的积分:
中文文献批量获取
外文文献批量获取
王继民; 李廉;
北京大学计算机科学技术系;
兰州大学信息科学与工程学院;
微分几何定理; 机器证明; 吴方法; Rosenfeld—Gr6bner算法; 辅助条件; 构造性算法;
机译:一种计算机辅助环境,用于理解几何定理证明问题并做出猜想
机译:微分几何自动定理证明的排序
机译:等离子条件下球面几何的微分电荷计算
机译:遗传算法在计算机辅助加工中最佳切削条件的选择
机译:用于计算机辅助几何设计和运动学设计的接触几何理论。
机译:计算概率分布:微分几何和 选型
机译:微积分变得简单:对于那些漂亮的计算方法的最简单的介绍,这些方法通常被微分计算和积分计算的可怕名称所称。
机译:计算机辅助神经解剖学:皮质表面的微分几何和最佳展平算法
机译:在简单的热回收条件下,在流化床中最终冷却由氢氧化铝产生的无水氧化铝
机译:用于防止计算机在几何简单的层次结构上分布的模型参数计算的计算方法和设备
机译:一种将几何图形/图形/数学/符号输入计算机/应用程序并同时动态地以触觉形式显示上述对象和类似对象的机械设备,用于从棕榈/几何图形的感觉/触觉中显示出上述对象和类似对象一种用于帮助视障人士/盲人理解复杂图形图像的辅助计算设备。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。