共 9 条
[3]
RDUCE语言简明教程[M]. 南开大学出版社 , 陈之江, 1990
[4]
吴文俊文集[M]. 山东教育出版社 , 吴文俊 著, 1986
[5]
几何定理机器证明的基本原理[M]. 科学出版社 , 吴文俊著, 1984
[6]
陈之江. 物理学进展 . 1991
[7]
一大类非线性非平衡动力学方程的一种统一求解方法及其应用. 方锦清. 第八届全国非平衡统计物理学术会议 . 1992
[8]
方锦清,姚伟光. 非线性系统理论基础、算法及其应用 . 1993
[9]
Springer-Velay. J.Bernasconi,etc. New York . 1981