退出
我的积分:
中文文献批量获取
外文文献批量获取
江维; 钱士强;
上海工程技术大学材料工程学院,上海201620;
矢量微分; 速度; 加速度; 科氏加速度;
机译:向量计算机上命题逻辑中定理证明的广义过程的向量化
机译:将卷曲定义为循环密度的简单证明是向量值函数,以及证明斯托克定理的另一种方法
机译:Fan-KKM定理证明了一些特征向量定理
机译:用定理证明自动微分算法的数值分析正确性证明
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:关于Gevrey向量的Gevrey向量的subelliptic和 正方形 - 一个尖锐的Gevrey Kotake-Narasimhan定理的基本证明
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:现有凸轮的许多要素在加速度方面具有连续变化和不连续变化
机译:与蛋白质的证明和分泌有关的包含DNA的范围以及具有确定的DNA序列的证明和分泌向量
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。