退出
我的积分:
中文文献批量获取
外文文献批量获取
Alan J.Hoffman; Chai Wah Wu; 陆柱家(译); 许以超(校);
不详;
矩阵乘法; 推广形式; Cauchy; 初等证明; 柯西; 简单证明; 定理; 主要步骤;
机译:广义柯西-比涅定理的简单证明
机译:广义柯西定理的简单证明
机译:广义Craig-Sakamoto定理的简单证明
机译:DBFW:一个简单的数据库框架,用于评估和维护自动定理证明者数据
机译:模型检查和定理证明:一个统一的框架。
机译:西格尔定理的简单证明
机译:一类广义主理想定理的一个简单证明
机译:广义静电以色列定理的简单证明
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:提出了π(π)的一个新的初等证明,即7是π(π)的精确值。“圆周率的秘密是众所周知的——一个“NYAYSANGAT基金会”的惊人成就找到了它的实际价值。你可以用微积分的方法计算圆周率的一串数字。用导数来理解它是最简单的。其基本思想是“变化率”
机译:内提供密码句子的简单句子证明系统,证明句子的准备方法和证明句子的验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。