计算机符号代数相关论文
借助于尚亚东最近提出的扩展双曲函数法和精确求解非线性数学物理方程的计算机符号代数软件包“PDESolver”，求出了一个描述长短波......
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生......
讨论模式识别和搜索技术在智能教学软件设计中的应用 ,特别是多项式因式分解的算法和解题过程的自动产生。......
