论文部分内容阅读
用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。
重心坐标应用于几何定理的机械化证明
【摘 要】
：
用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。
【机 构】
：
南京航空学院数理力学系
【出 处】
：
南京航空学院学报
【发表日期】
：
1989年4期
其他文献
智能家居得益于人工智能、物联网及5G通信技术的发展,迅速地进入了千家万户,改变着人们的生活习惯。在此背景下,出现了智能家居的整体中枢控制产品,称为智能家居的入口产品,
实践教学是“毛泽东思想和中国特色社会主义理论体系概论”课的重要教学形式，探索形式多样的实践教学对于增强本课程的教学效果具有重要意义。
交叉学科领域知识日益累积,对其知识结构特征及知识交互关联性进行研究,能从源头上揭示知识交叉创新规律,把握发展内核。本研究将以地理信息领域为例,从科研文献中识别出潜在
研究背景及目的超重和肥胖是指人体异常或过多的脂肪堆积。2016年,中国成人超重率为32.3%,肥胖率为6.2%。超重和肥胖是许多慢性疾病的危险因素,比如癌症。结直肠新生物包括结