曾振柄

期刊论文

1. 张雪峰，彭潇，陈良育，杨争峰，曾振柄（2026）. 面向混合整数线性规划问题的智能分支定界算法综述. 《运筹学学报(中英文)》.DOI
2. 曾振柄，鲁健，徐姚晨（2026）. 三角形内八个点的Heilbronn分布. 《系统科学与数学》.
3. Lydia Dehbi, 杨争峰, 彭超, 徐姚晨, 曾振柄（2024）. 基于符号数值计算的代数曲线区间插值. 《中国科学:数学》.
4. 黄勇，曾振柄，杨路，饶永生（2024）. 半正定多项式的一个降次有理平方和表示算法. 《系统科学与数学》.
5. 王玉铮，冷拓，曾振柄（2023）. 半球面上四点距离之和的最大值问题. 《数学年刊A辑(中文版)》.
6. 熊贝贝，杨争峰，武斌，曾振柄（2023）. 基于连续同伦的多方对策之Nash均衡点的机械化求解方法. 《系统科学与数学》.
7. 王玉铮，孙翔，陈钰，曾振柄（2022）. 半球面上一个几何优化问题. 《数学的实践与认识》.
8. 魏昙荣，曾振柄（2022）. 正态分布无偏估计相关的一个极限定理. 《大学数学》.
9. 鲁健，曾振柄（2021）. 用符号计算证明Ramsey定理的一个机械化方法. 《系统科学与数学》.
10. 曾振柄，王建林，杨争峰，小林英恒（2021）. 点集拓扑学之杨忠道定理的一个机械化证明. 《中国科学:数学》.
11. 曾振柄，黄勇，饶永生（2020）. 从教育数学的角度探讨行列式教学. 《高等数学研究》.
12. 曾振柄，鲁健，曾小伟（2019）. 等离子镀膜工艺中的一个转动长方体优化问题. 《系统科学与数学》.
13. 曾振柄，黄勇（2018）. 弗洛伊登塔尔不可能之谜的机械化算法. 《系统科学与数学》.
14. 郭小丰，冷拓，曾振柄（2018）. 球面欧氏度量下Fermat-Torricelli点的问题. 《系统科学与数学》.
15. 陈晓华，李春芝，陈良育，曾振柄，蒋云良（2016）. 虚拟网络映射高效节能运输模型及算法. 《电子学报》.
16. 陈明雁，曾振柄（2015）. 基于概率检测组合模型的几何定理证明器. 《系统科学与数学》.
17. 刘剑，唐敏，曾霞，曾振柄（2015）. 初等函数可验证赋值及误差分析. 《计算机科学》.
18. 陈晓华，李春芝，陈良育，曾振柄（2014）. 虚拟网络映射最小费用流模型及算法. 《电信科学》.
19. 曾振柄，陈明雁（2013）. 怎样用八段圆弧画一个与给定椭圆偏差最小的曲线? 《数学的实践与认识》.
20. 曾振柄，陈良育，李志斌，陈光喜（2013）. 偏差最小的四心圆近似椭圆作图法. 《图学学报》.
21. 林望，吴敏，杨争峰，曾振柄（2012）. 基于符号数值混合计算的混成系统Lyapunov函数构造. 《系统科学与数学》.
22. 周纬，陈良育，曾振柄（2012）. 基于几何形状分析的藏文字符识别. 《计算机工程与应用》.
23. 曾振柄，张景中（2010）. 基于矩形区域剖分的不等式机器证明方法—以Zirakzadeh的一个几何不等式为例. 《系统科学与数学》.
24. 郭远华，曾振柄（2009）. 重言衍推系统的试探法自动证明. 《计算机应用与软件》.
25. 穆传东，曾振柄（2009）. 利用改进的逐次差分代换证明多项式正半定性. 《计算机与数字工程》.
26. 符红光，王卫民，曾振柄（2008）. 一个Erdis问题在二次曲线下的推广. 《数学学报(中文版)》.
27. 刘鹏飞，曾振柄，蔡煜东（2008）. 一种基于图论的计算蛋白质数据库代表序列的算法. 《计算机与应用化学》.
28. 单美静，曾振柄（2008）. 一个组合几何最优化未解决问题的半机械化解法. 《计算机工程与科学》.
29. 郭远华，曾振柄（2008）. 相干命题逻辑系统R的一种演绎生成算法. 《计算机工程与科学》.
30. 陈良育，张召，曾振柄（2007）. 基于并行搜索的海量信息系统的数据挖掘. 《计算机应用》.
31. 关强，王龙，夏壁灿，杨路，郁文生，曾振柄（2007）. 线性系统同时镇定中广义香槟问题的解. 《中国科学:技术科学》.
32. 符红光，钟秀琴，曾振柄（2006）. 三角函数表达式的计算机自动化简. 《计算机学报》.
33. 陈良育，曾振柄，张问银（2005）. 汉字构形分析与识别. 《上海电力大学学报》.
34. 曾振柄，李传中（2005）. 基于Bezier曲线逼近的二次曲线快速作图. 《第十二届全国图象图形学学术会议》.
35. 王鹏，谢千河，曾振柄（2005）. 网络日志中周期模式的挖掘. 《计算机工程》.
36. 张问银，孙星明，曾振柄，吴尽昭（2004）. 汉字数学表达式的自动生成. 《计算机研究与发展》.
37. 王鹏，单保慈，谢千河，曾振柄（2004）. 基于小波变换的正电子断层扫描(PET)图像分析. 《航天医学与医学工程》.
38. 张问银，曾振柄，孙星明（2004）. 基于A/D能量直方图的JPEG图像检索. 《计算机工程》.
39. 张问银，曾振柄（2004）. 基于NMI不变特征的图像检索方法. 《计算机工程》.
40. 曾秋玲，曾振柄（2003）. 动态几何在中学几何教学改革中的应用. 《数学教学研究》.
41. 陈仕喜，曾振柄（2003）. 一种改进的主动可靠多播算法. 《四川师范大学学报(自然科学版)》.
42. 王鹏，曾振柄，谢千河（2003）. 采用蚁群爬山法进行聚类分析的算法. 《计算机工程》.
43. 冯山，陈世平，曾振柄，朱大勇，许毅（2003）. XP—适合中小型软件系统的敏捷方法. 《西南石油大学学报(自然科学版)》.
44. 吴文渊，曾振柄，符红光（2002）. 基于Ontology的平面几何知识库设计. 《计算机应用》.
45. 曾振柄，符红光（2000）. 基于模式识别的多项式因式分解算法及其应用. 《计算机应用》.
46. 符红光，杨路，曾振柄 (2000). A recursive algorithm for constructing generalized Sturm sequence. Science China Technological Sciences.
47. 符红光，杨路，曾振柄（1999）. 构造广义Sturm序列的递归算法. 《中国科学:技术科学》.
48. 侯晓荣，曾振柄（1997）. 平面代数剖分样本点的一个有效算法. 《计算机应用》.
49. 杨路，侯晓荣，曾振柄（1996）. 多项式的完全判别系统. 《中国科学:技术科学》.
50. 杨路，侯晓荣，曾振柄 (1996). A complete discrimination system for polynomials. Science China Technological Sciences.
51. 杨路，张景中，曾振柄（1992）. 最初几个Heilbronn数的猜想和计算. 《数学年刊A辑(中文版)》.
52. 杨路，张景中，曾振柄（1990）. 动力系统中的分形集. 《数学进展》.
53. 曾振柄 (1990). ON A GEOMETRIC INEQUALITY. Science Bulletin.
54. 曾振柄（1987）. 正多边形和正多面体各维骨架的平均距离常数. 《数学的实践与认识》.