埃萨扬，A.R。;北卡罗莱纳州多布罗沃尔斯基。 质心假设的计算机证明。 （俄语。英文摘要） Zbl 1373.51009号 切比雪夫斯基。 18，第1号（61），73-91（2017）. 小结：本文提供了“质心假设”的证明，该假设在《GeoGebra假设的实验验证》中给出，并发表在本期《切比雪夫斯基-斯博尼克》中。该假设的公式如下：“让每个顶点中有一个非退化三角形保持中间值。然后将原始三角形分裂为六个没有公共内点的三角形，使它们的质心位于同一椭圆上”。该假设的证明基于符号计算，在计算机数学GeoGebra、Mathcad Prime、Maxima、Maple和Mathematica的五个软件包中实现。使用不同的符号计算系统来解决问题，可以获得用于比较评估这些系统的视觉材料。在文章的最后部分，提出考虑另一种说法——“关于圆心的假设”。公式是这样的：“让三个天狼星在圆心的锐角三角形内相交。然后将原始三角形分裂成六个没有公共内点的三角形，使它们的圆心位于同一椭圆上”。这一假设是使用GeoGebra中构建的动力学模型提出并通过实验证实的。 引用于1文件 MSC公司： 2004年5月5日 欧几里德几何中的基本问题 51-04 几何相关问题的软件、源代码等 68瓦30 符号计算和代数计算 关键词：动态模型;圆锥形的;质心 软件：马克西玛;数学软件;枫树;MATHCAD底漆;GeoGebra公司 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Esayan}和\textit{N.Dobrovolsky}，切比雪夫斯基[18，No.1（61），73-91（2017；Zbl 1373.51009） 全文： 跨国公司