Mathematicmechanize 相关硕士博士期刊学术论文

本文应用的数学机械化方法和计算机符号处理技术，对平面四杆机构刚体与引综合问题进行了符号求妥，该法通过对变量的排序，分组，约化，构成......