【摘 要】
:
用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。
论文部分内容阅读
用机械化方法证明几何定理,适当选取坐标系是一个关系到问题解决得难易程度的重要步骤。本文是在重心坐标下,用机械化方法证明非平凡几何定理。
其他文献
智能家居得益于人工智能、物联网及5G通信技术的发展,迅速地进入了千家万户,改变着人们的生活习惯。在此背景下,出现了智能家居的整体中枢控制产品,称为智能家居的入口产品,
实践教学是“毛泽东思想和中国特色社会主义理论体系概论”课的重要教学形式,探索形式多样的实践教学对于增强本课程的教学效果具有重要意义。
交叉学科领域知识日益累积,对其知识结构特征及知识交互关联性进行研究,能从源头上揭示知识交叉创新规律,把握发展内核。本研究将以地理信息领域为例,从科研文献中识别出潜在
一个骇人听闻的数字来自世界银行的一个最新研究报告,这份关于"腐败成本"的报告显示,全球每年被用于贿赂和腐败行为的金额高达当年全球GDP的3.3%,达到惊人的1万亿美元。"中国
企业核心竞争力是关系到企业生存与发展的重要资产.如何对企业核心竞争力进行合理的披露对于会计理论研究水平的提高,指导企业的会计实践具有重大的理论意义和现实意义.本文
【正】 原全国人大常委会副委员长成思危近日在复旦大学管理学院发表题为"中国经济面临的挑战和对策"的演讲时,对中国的股市表示乐观,认为中国的股市目前并非熊市,仍是牛市。
目的了解护士对糖尿病病人生化检查项目理解、临床意义、正常值、采血要求等的理解、掌握和执行情况。方法对204名护士关于糖尿病病人生化检查意义、正常值、采血要求的掌握
研究背景及目的超重和肥胖是指人体异常或过多的脂肪堆积。2016年,中国成人超重率为32.3%,肥胖率为6.2%。超重和肥胖是许多慢性疾病的危险因素,比如癌症。结直肠新生物包括结
据8月14日《新京报》报道,日前,北广传媒移动电视公司已经与首汽、金银建等九家出租车公司签订合作协议,可安装移动电视的出租车数量总计已达2万辆。今年年内,计划给其中的1
随着经济的发展,建筑技术的进步和城市化趋势导致了城市土地使用量剧增,造成城市建筑高层化发展,一旦发生火灾,容易造成人员伤亡和财产损失。而且超大空间和超高建筑的不断涌