Bottema软件相关论文
提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给......
给出了若干四元五次含参对称不等式,以杨路教授的BOTTEMA软件为工具,用具体例子说明了一类多元对称式的分拆思路和一般试验步骤,最......
