退出
我的积分:
中文文献批量获取
外文文献批量获取
邹泽民;
梧州师专,数学系,广西,贺州,542800;
数学转化思想; 简捷证明; 淡化形式; 注重实质;
机译:关于数学分析原理中两个定理的评论
机译:非常原始的两个着名问题:“有奇怪的完美数字吗?” (未解决至迄今为止)和“Fermat的最后定理:定理的新证明(不到一个半页)及其概括”
机译:两个定理的初等证明,涉及两个unit矩阵的乘积的特征值
机译:走向简洁的,机器发现的戈德尔的两个不完整定理证明
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:光学定理的推广:径向偏振光束的实验证明
机译:使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。