涉及两个三角形的不等式相关硕士博士期刊学术论文 - 信丰网

涉及两个三角形的不等式相关论文

用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式

讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若......

期刊

不等式自动发现 agl2010程序涉及两个三角形的不等式机器证明 the automatic detection of equality program a

看过本文同时还关注