退出
我的积分:
中文文献批量获取
外文文献批量获取
刁海林;
广西大学林学院,南宁市邕武路16号,530001;
矢量方法; 平面运动 ; 加速度定理; 证明 ;
机译:量子力学中的遍历定理和H定理的证明〜*翻译:新力学中的遍历定理和H定理的证明
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:在不使用计算机的情况下获得四色定理的简要证明:用于证明四色定理的定理
机译:通过使用HOL定理证明系统,自动合成后验证支持高级合成步骤
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:应用于具有纯横向加速度的平面运动的最先进的运动提示算法的研究 - 在KUKa Robocoaster串行驾驶模拟器上的比较,自动调整和主观评估
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。