广州大学计算机科学与教育软件学院 广州 510006;
电子科技大学计算机科学与工程学院 成都610054;
广州大学计算机科学与教育软件学院 广州 510006;
贵州省教育科学院 贵阳 550001;
广州大学计算机科学与教育软件学院 广州 510006;
广州大学计算机科学与教育软件学院 广州 510006;
广州大学计算机科学与教育软件学院 广州 510006;
可由用户持续发展的几何自动推理平台(SGARP); 几何定理机器证明; 符号计算; Python语言; 质点法; Thebault定理;