科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
杨瑞华;
数学猜想; 等号成立; 重要不等式; 命题表述; 圆外切四边形; 平面几何; 正三角形; 循环不等式; 三角形不等式; 高中数学;
机译:证明D-Finite类数学猜想的新方法
机译:通过计算机支持的认知冲突弥合数学猜想与证明之间的鸿沟
机译:关于数学猜想和反例
机译:中间量词的正式模型“几个”,“几个”和“一点点”
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:在死亡前几个月或气管造福术前几个月的医疗和支持性护理
机译:关于数学猜想的证明时间分布
机译:结合符号计算和定理证明:Ramanujan的几个问题
机译:如何将每个数学猜想结合到一个故事中
机译:“数据终端访问存储在电子设备,电子设备,数据终端和身份证明文件中的几个数据对象之一的过程”
机译:安排例如为了处理货物的转移,具有货架机构,该货架机构具有几个可用的货架,该货架具有货架标记或证明机构标记计划用于相应商品或货物档案的货架
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。