重心坐标应用于几何定理的机械化证明期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

重心坐标应用于几何定理的机械化证明

引用本文：	黄明.重心坐标应用于几何定理的机械化证明[J].南京航空学院学报,1989,21(4):121-124.

作者姓名：	黄明

摘要：
关键词：	重心坐标几何定理机械化理论
本文献已被维普等数据库收录！