退出
我的积分:
中文文献批量获取
外文文献批量获取
林运来;
福建省厦门大学附属实验中学 363123;
基本不等式; 数学思维能力; 思维的发散性; 比较数的大小; 函数的最值; 数学知识; 取值范围; 解决实际问题;
机译:Eisbach:Isabelle的证明方法语言
机译:围绕古田不等式-算子不等式(AB2A)¾≤ABA≤A3
机译:与希尔伯特积分不等式和一些基本希尔伯特型不等式的关系
机译:Isabelle / HOL中用于证明方法推荐的简单数据集
机译:自由板基本音的等距不等式。
机译:涉及两个非负向量或函数的基本不等式
机译:基于Tableau的知识与信念时态逻辑证明方法
机译:广义变分不等式问题的互补性基本定理。
机译:具有独立层的磁阻效应头满足基本不等式,涉及层厚和离子铣削速率
机译:补偿kapazitaets的方法-fernsprechkabeln中的不等式
机译:不等式显示装置和不等式显示程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。