退出
我的积分:
中文文献批量获取
外文文献批量获取
陈敬铭;
勾股数组; 平方差公式; 通项公式; 正整数; 直角边; 三边; 数学归纳法; 证法; 对应项; 首项;
机译:证明正交四球间15个重心球及距离公式的算法——四维体积勾股定理的应用(公式二)
机译:证明正交四球间15个垂心球及距离公式的算法——四维体积勾股定理的应用(公式(三))
机译:证明正交4球6平面及四维垂直的四维空间算法——四维体积勾股定理的应用(公式七)
机译:使用同时关闭发现公式替代证明
机译:后代数系统和后代数:一个明显的事实的证明=后代数系统和后代数:一个明显的事实的证明
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式(算术证明理论)
机译:同轴和圆柱波导理论中零序函数组合的完全级数展开的公式
机译:一个在车表中以勾股或其他形式发现并收集的汽车钥匙组合器行程系统,用于针和火车站的开关信号。
机译:该模型由一个管道系统组成,并使用连通容器的公式允许液体从一个容器转移到另一个容器。事实证明,它在转移易燃液体或困难条件下特别有用
机译:模块化算术和勾股三元组的复方根公式,B部分
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。