退出
我的积分:
中文文献批量获取
外文文献批量获取
孙杰; 姜曰华;
德州师专;
加权平均; Hoelder不等式; Hermite矩阵; 不等式;
机译:广义双拟变分不等式两个定理的对偶证明
机译:四比特系统的不等式和不等式的Bell定理的状态无关证明
机译:四比特系统不等式和贝尔不等式的Bell定理的状态无关证明
机译:网络信息论中强逆定理证明的不等式
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:映射的一些固定点定理令人满意的应用程序令人理解不等式与应用程序的模块化空间
机译:关于Hermite矩阵的Kantorovich不等式的一个注记
机译:关于线性不等式系统完全线性证明的spira定理。
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。