西姆松定理相关论文
给出垂足三角形有向面积公式,并利用该公式获得垂足三角形的若干新结果和著名的西姆松定理.......
在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP......
