退出
我的积分:
中文文献批量获取
外文文献批量获取
彭培让;
河南教育学院,数学系,河南,郑州,450046;
致密性定理; 实数连续性; 基本定理;
机译:Emery拓扑的收敛结果和资产定价基本定理证明的变体
机译:修改基本定理证明算法以应对部分函数的逻辑
机译:实数定理证明在PVS中的应用
机译:Isabelle / Hol在概念格的基本定理证明
机译:分析中的三个主题:(I)微积分的基本定理表示代数的基本定理,(II)Riesz表示测度的最小和,以及(III)与Stein流形相似的全纯控制和复杂Banach流形。
机译:非致密性心肌病患者的早搏复合体起源与非致密性心肌不匹配:传导系统受累了吗?
机译:实数和连续性理论:在Philip Ehrlich编辑的书上/ 实数和连续性理论:在Philip Ehrlich编辑的书上 i>
机译:修正基本定理证明算法以处理部分函数的逻辑
机译:实数区间多项式的实数因子判定方式,实数因子判定器,具有误差的实数多项式
机译:记录有打印实数据生成程序的介质,打印实数据生成处理器和打印实数据生成方法
机译:铁路压载物层的致密性评估方法,实现该装置的装置和预测压载物所述层致密性的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。