任朝阳 谢果然 黄晓龙

排序 自由变量 符号计算 复杂关系 计算机代数 符号表达式 算法 不定积分 无平方分解 规范化简 符号演算 有理函数 逻辑表达式 数学表达式化简

中南矿冶学院 中南工业大学计算机系 江西工业大学计算机科学技术系 江西工业大学计算机系