退出
我的积分:
中文文献批量获取
外文文献批量获取
吴赛瑛;
福建大田第一中学;
直线; 平面; 比; 存在性; 唯一性;
机译:解决显式算术单词问题和证明平面几何定理的框架
机译:由文本和图表自动证明平面几何定理
机译:解决显式算术词问题的框架,并证明平面几何定理
机译:通过Grobner基证明向量空间中的几何定理
机译:不同证明策略对学习几何定理证明的影响。
机译:横纹肌中巨型蛋白质的弹性域:建模与尺规
机译:已解决的问题。 pag中给出的几何定理的证明。前一卷的315,和另一个类似的定理
机译:H在无穷远传递函数上对L2的移位不变算子的表示:一个基本证明,对L Rho的推广和L在无穷远处的反例
机译:用于在空域和连续空间中连续进行无规粗纱定尺定尺粗纱的装置,包括一个环形预调装置,一个环形夹紧装置,三个夹紧单元和一个定位装置
机译:面条尺规杆和面条尺规杆组件
机译:卡车的规尺变化方法和规尺变化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。