退出
我的积分:
中文文献批量获取
外文文献批量获取
林谷佳;
重庆师范大学数学科学学院,重庆401331;
Weideman公式; Dougall-Dixon公式; 二项式系数; 超几何级数; 调和级数;
机译:将Cauchy-Binet公式用于带偏移的三对角QR算法的收敛性证明中[关于将Cauchy-Binet公式用于带偏移的三对角QR算法的收敛性证明中]
机译:证明正交四球间15个重心球及距离公式的算法——四维体积勾股定理的应用(公式二)
机译:证明正交四球间15个垂心球及距离公式的算法——四维体积勾股定理的应用(公式(三))
机译:大规模不平衡中的电容器放置和实时控制分配系统:减少损失的公式,问题的公式,解决方法和数学证明
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式(算术证明理论)
机译:arakelov几何中Lefschetz类型的不动点公式I:陈述和证明
机译:该模型由一个管道系统组成,并使用连通容器的公式允许液体从一个容器转移到另一个容器。事实证明,它在转移易燃液体或困难条件下特别有用
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。