...可读证明 自动推理[gap=1349]rds: simplification of trigonometric expressions; combination rules; rule lists; readable proofs; automated reasoning...
基于8个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
By means of this result and computer, the readable machine proofs for a lot of the inequalities of homogeneous and symmetric polynomials can be obtained.
利用这个结果并借助于计算机可以给出一大批齐次对称多项式不等式的可读性机器证明。
youdao
应用推荐
模块上移
模块下移
不移动