退出
我的积分:
中文文献批量获取
外文文献批量获取
徐沥泉; 徐利治;
江苏无锡市教育研究中心,江苏,无锡,214001;
大连理工大学,数学系,大连,116024;
N-P引理; 奈曼条件; 一致最大功效检验;
机译:基本直接证明Knaster-Kuratowski-Mazurkiewicz引理暗示Sperner引理
机译:机械化基本扰动引理的证明
机译:用连续策略直接由Sperner引理和近似Nash平衡证明Fan-Glicksberg不动点定理的构造形式的证明:构造分析
机译:与目前基本方法方法相比,验证预制基本方法的有效性。工业化产业化房屋生产标准化研究。14
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:具有数百万个引理的学习辅助定理证明
机译:Knaster-Kuratowski-mazurkiewicz的基本直接证明 引理暗示了斯珀纳的引理
机译:一种用于递归函数理论的引理驱动自动定理证明器。
机译:自动化的多排序定理证明器
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:用于基本算术和几何学教学的教材,以及以功能上适当的方式表示质量并与实际使用的定向zaehlkoerpern对齐的教材
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。