退出
我的积分:
中文文献批量获取
外文文献批量获取
徐文平;
江苏省东南大学;
双心椭圆; 多边形; 彭色列闭合定理; 配极原理;
机译:在不使用计算机的情况下获得四色定理的简要证明:用于证明四色定理的定理
机译:提供四色定理的简短证明的几何方法
机译:关于所有闭合子模块都是正交闭合的希尔伯特C〜*-模上的斯威瑟定理的初等证明
机译:使用定理证明者证明和发展计算机视觉中的几何定理的实验
机译:不同证明策略对学习几何定理证明的影响。
机译:间隔和闭合牙列的患病率及其与原发和永久牙列错牙合的关系
机译:计算机辅助证明及其对纯数学的影响:以四色定理为例
机译:与Boyer-moore定理证明器的相互作用:使用算术几何中值定理的教程研究
机译:毕达哥拉定理的几何证明方法
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:包装儿童证明,容器并以几何中心轴闭合
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。