退出
我的积分:
中文文献批量获取
外文文献批量获取
高令乐; 汪晓勤;
华东师大数学系;
数学归纳法; 数学定理; 证明; 阿基米德; 公元前; 数学家; 半圆; 图形;
机译:纯粹数学定理可以证明是正确的,但应用数学,自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
机译:计算机科学思想在数学定理和证明表达中的应用
机译:纯数学的定理可以得到证明,但应用数学,自然和社会科学以及工程中的模型最多可以“尚未证明是错误”
机译:使用进化算法和证明助手自动证明数学定理
机译:在证明生产过程中学生使用数学内容知识
机译:使用数学模型重新研究贝伐单抗ma +细胞毒素的时间表:实验性非小细胞肺癌的概念研究证明
机译:用进化算法自动证明数学定理 和证明助理
机译:归纳法对格雷斯定理的证明
机译:生成适用于筹码卡的第一个证明号码的方法
机译:专利号200601306:L PIDA CER MICA DESIGN?的第一个附加证明。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。