理学院学术活动  

非线性方程与计算机代数系列讲座：该讲座每周一次。

第六讲：计算机代数系统Maple与定理机器证明浅说 

主讲人：张小红教授 

时间：4月10日（周四）晚6：00—8：00

地点：理学院北楼311报告厅 

以后讲座随时通知。 

欢迎全校各学院有兴趣的教师、研究生和本科四年级的学生参加。 

讲稿：http://in.nbu.edu.cn/UploadFiles/2008-4/410107508.doc 

（文件为pdf格式。下载后把.doc更改为.pdf）