主要论著
[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.