构造型几何命题相关硕士博士期刊学术论文 - 信丰网

构造型几何命题相关论文

几何定理机器证明复系数质点法的改进及其应用

复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复......

期刊

几何自动推理可读机器证明构造型几何命题复系数质点法 CMPP automated geometry theorem proving readable m

看过本文同时还关注