退出
我的积分:
中文文献批量获取
外文文献批量获取
徐风; 徐姗姗;
南京林业大学计算中心,南京210037;
基本定理; 斯特林公式; 讨论;
机译:凸曲面理论证明超扭曲接触结构分类定理的一个证明
机译:通过利维尔定理证明埃维尔八乘积身份的另一个证明
机译:非常原始的两个着名问题:“有奇怪的完美数字吗?” (未解决至迄今为止)和“Fermat的最后定理:定理的新证明(不到一个半页)及其概括”
机译:启发式定理证明:另一个SMT模定理证明
机译:模型检查和定理证明:一个统一的框架。
机译:穆纳汉发现的一个定理的证明
机译:斯特林公式的一个简短证明
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:小腿收缩不能增加脚踩压力的证据,并证明了这种基础性发现的作用机理
机译:勾股定理证明的新方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。