退出
我的积分:
中文文献批量获取
外文文献批量获取
文小波; 宋立新;
吉林师范大学数学学院,吉林四平136000;
施惠同恒等式; 古典概型; 概率证明;
机译:基于概率模型的斯特林数上的一些组合恒等式
机译:时变条件下基于动态概率模型的飞机结构健康监测框架:在地面模拟飞行测试中的验证
机译:在栃木县汉天汉甘河海滨汉天的大规模物流设施惠田田亮开发两栋建筑完成
机译:正式验证矩阵代数恒等式的证明
机译:降低基于证明助手的形式验证的成本或:无需证明负担的定罪。
机译:基于距离和角度概率模型的NLOS环境下的定位和跟踪方法
机译:基于概率模型检查的移动机器人路径规划在不确定性下的概率模型
机译:满足与张量算子相关的恒等式的表示。在sp(2N,C)的so(2N,C)和(Lambda sub 2)的表示(2 lambda sub 1)下变换的二次张量算子
机译:具有基于三角恒等式的幅度控制装置的正交振荡器
机译:使用概率模型和地图数据确定城市购物中心路线的路线预测方法,涉及基于当前确定的道路类别概率模型选择车辆地图数据的区域
机译:用于配置基于ID的哈希证明系统的设备,基于ID的加密设备,用于配置基于ID的哈希证明系统的方法和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。