姓 名：曾振柄

办公室：理科大楼A1701
电子邮件：zbzeng@sei.ecnu.edu.cn

教育背景
德国Bielefeld大学数学系 博士

研究兴趣
定理机器证明、符号计算、计算机自动推理、人工智能

工作经历
1994年7月 – 2003年10月 在中国科学院成都计算机应用所工作，担任研究员、博士生指导教师、中国科学院成都计算机应用研究所自动推理实验室主任、研究所学术委员会委员、学位评定委员会委员、职称评定委员会委员。
2002年5月任中国科学院研究生院教授。
1994年以来，曾承担教育部留学回国人员择优支持项目、国家自然科学基金项目“不等式定理的机器证明和实代数几何定理的机器证明”、八五攀登项目“机器证明及其应用”、九五攀登项目“数学机械化及其应用”、863项目“求解几何约束程序的自动生成”、中国科学院九五重点项目“不等式定理机器证明”、973项目“数学机械化与自动推理平台”、中国科学院创新工程项目 “不等式机器证明与机器发现”等多项研究任务。在国内外学术刊物发表论文40余篇。培养毕业的硕士研究生6人，正在培养的博士、硕士研究生10人。

荣誉
1997年获得国务院特殊政府津贴。
2001年被评选为四川省学术技术带头人后备人选。
2002年获得四川省优秀青年科技奖。

主要论著
[1]Zhiwei Xu, Wei Li, Hongguang, Fu, Zhenbing Zeng, Mathematics Education over Internet Based on Vega Grid Technology, Journal of Distance Education Technologies, 1(3), pp. 1-13, 2003.
[2]曾振柄，符红光，计算机辅助教学软件设计中的人工智能技术，计算机应用，第22卷增刊（2002年10月）。
[3]曾振柄, 求合取范式可满足性问题全部解的一个算法，计算机科学2002年增刊（第四次全国理论计算机学术会议会议录，长沙，2002年10月）， 152—154页。
[4]Zeng Zhenbing, Fu Hongguang, Subresultants and Discriminant Sequences, Automated Deduction in Geometry 2002, Risc Uni Linz., Sept. 2002, Linz, Austria.
[5]Fu Hongguang, Zeng Zhenbing, A New Dynamic Geometry Software with a Prover and a Solver, Proc. Visit-Me2002( Vienna Int. Symp. on Integral Technology into Mathematical Educations), July 2002, Vienna, Austria.
[6]杨路，曾振柄，Equi-Cevaline Points of Triangles, International Symposium on Symbolic and Algebraic Computation 2000, Aug 8-13, Univ. St Andrews, Scotland, UK//Lecture Notes Series on Computing Vol. 8, Computer Mathematics, Proceedings of the Fourth Asian Symposium(ASCM 2000), pp130-137, World Scientific, Singapore, 2000.
[7]曾振柄，A Mechanical Theorem Discovering Algorithm for Construction Problem of Real Geometry Configurations, Proceedings of ADG 2000, pp.92-97, The Third International Workshop on Automated Deduction in Geometry, Zurich, Switzerland, Sept. 25-27, 2000.
[8]曾振柄，符红光，Factorization based on pattern recognition， The Fourth Asian Technology Conference in Mathematics (ATCM"99), December 17-21, 1999, Guangzhou, China. 中文: 基于模式识别的因式分解算法及其在智能教学软件设计中的应用. 计算机应用，第20卷第8期（2000年8月）。
[9]张伟年，侯晓荣，曾振柄，Weak Centers and Bifurcation of Critical Periods in Reversible Cubic System, Computer and Mathematics with Applications, 40 (6-7): 771-782 SEP-OCT 2000.
[10]符红光，杨路，曾振柄，构造广义Sturm序列的递归算法, 中国科学E辑, 29:6 (1999). 英文版:A recursive algorithm for constructing generalized Sturm sequence, Science in China (Series E) Vol. 43, No. 1(February 2000), pp. 32-41.