退出
我的积分:
中文文献批量获取
外文文献批量获取
唐子周; 唐世杰; 唐世敬;
新疆且末县中学,841900;
华中科技大学,430074;
中国地质大学长城学院,071000;
反证法; 命题转化法; 构造函数法; 笛卡尔符号法则; 重根; 共轭复根;
机译:费尔马大定理--怀尔斯的证明
机译:量子力学中的遍历定理和H定理的证明〜*翻译:新力学中的遍历定理和H定理的证明
机译:互动定理证明者Matita证明了勒贝格的主导收敛定理的建设性和形式化证明
机译:费马定理的证明方法
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:关于费马最后定理的结果和证明的摘要。 (第六篇)
机译:费马定理,卢卡斯定理和威尔逊定理的组合证明
机译:矿业学院年刊,系列11,Vol。 1992年10月1日,1号。费马定理的证明
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。