全角法相关硕士博士期刊学术论文 - 搜论网

全角法相关论文

SGARP中全角法的实现

在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP......

期刊

可持续发展的几何自动推理平台SGARP 全角法西姆松定理 sustainable geometry automated reasoning platform

平面几何的动态可视证明研究

当我们阅读几何书本上的证明的时候,通常需要花费相当的时间和精力来辨识证明文本中的几何元素和几何图形的对应关系。当几何图形......

学位

动态几何定理证明几何专家可读证明动态可视证明全角法演绎数据库法 JGEX

看过本文同时还关注