• 井场问题与确定得分点

    井场问题与确定得分点

    一、井田问题与定比分点(论文文献综述)李辉[1](2017)在《质点几何定理的机器证明》文中进行了进一步梳理几何定理机器证明已经成为自动推理领域内的一个研究热点,它具有十分重要...
  • 故障3D可视化建模研究

    故障3D可视化建模研究

    一、断层的三维可视化建模研究(论文文献综述)余永鹏,毛兴军,王贝,马永祥,王嘉文,陆爱国,谭浩[1](2021)在《基于Voxler的煤炭地质三维自动可视化应用》文中研究指明快...