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