构造性和非构造性几何命题自动证明

【文件属性】：

文件名称：构造性和非构造性几何命题自动证明

文件大小：275KB

文件格式：PDF

更新时间：2023-01-19 02:02:35

首发论文

构造性和非构造性几何命题自动证明，沈盈，，主要是研究构造性和非构造性几何命题的自动证明，通过若干具体实例的证明，来揭示两者的差别。在证明过程中主要运用了线段比，三