退出
我的积分:
中文文献批量获取
外文文献批量获取
唐鹏程;
二次型; 线性替换; 配方法; 标准形;
机译:凸曲面理论证明超扭曲接触结构分类定理的一个证明
机译:通过利维尔定理证明埃维尔八乘积身份的另一个证明
机译:非常原始的两个着名问题:“有奇怪的完美数字吗?” (未解决至迄今为止)和“Fermat的最后定理:定理的新证明(不到一个半页)及其概括”
机译:启发式定理证明:另一个SMT模定理证明
机译:模型检查和定理证明:一个统一的框架。
机译:关于一类包含二次加法泛函的泛函方程的稳定性的一个一般性定理
机译:启发式定理证明者:另一个smt-模定理证明者
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。