曾振柄
【姓名】 曾振柄
【职称】 教授;
【研究领域】 计算机软件及计算机应用;数学;自动化技术;
【研究方向】 计算机自动推理和人工智能软件
【发表文献关键词】 汉字,特征提取,汉字构形学,构形分析,构件,部件信息,图片,自动推理,三角函数化简,组合规则,汉字部件,规则链表,可读证明,函数表达式,代数剖分,样本点,计算机代数,代数数,AJAX,Web Serv...
【工作单位】 华东师范大学
【曾工作单位】 华东师范大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/31 24 30 6 112 3883
中国期刊全文数据库    共找到28篇
[1]刘剑;唐敏;曾霞;曾振柄;.初等函数可验证赋值及误差分析[J]计算机科学.2015,(04)
[2]曾振柄;陈明雁;.怎样用八段圆弧画一个与给定椭圆偏差最小的曲线?[J]数学的实践与认识.2013,(23)
[3]曾振柄;陈良育;李志斌;陈光喜;.偏差最小的四心圆近似椭圆作图法[J]图学学报.2013,(01)
[4]邹进;林望;罗勇;曾振柄;.基于多面体包含的非线性混成系统可达性分析[J]计算机应用.2013,(05)
[5]周纬;陈良育;曾振柄;.基于几何形状分析的藏文字符识别[J]计算机工程与应用.2012,(18)
[6]林望;吴敏;杨争峰;曾振柄;.基于符号数值混合计算的混成系统Lyapunov函数构造[J]系统科学与数学.2012,(05)
[7]穆传东;曾振柄;.利用改进的逐次差分代换证明多项式正半定性[J]计算机与数字工程.2009,(08)
[8]郭远华;曾振柄;.重言衍推系统的试探法自动证明[J]计算机应用与软件.2009,(09)
[9]郭远华;曾振柄;.相干命题逻辑自然推理系统NR的自动证明[J]计算机应用研究.2009,(10)
[10]郭远华;曾振柄;.一阶子句搜索方法[J]计算机应用.2009,(11)
更多
中国重要会议全文数据库    共找到3篇
[1]曾振柄;陈良育;李志斌;陈光喜;.偏差最小的四心圆近似椭圆作图法[A].第四届全国几何设计与计算学术会议论文集.2009-08-24
[2]周纬;陈良育;曾振柄;.基于几何形状分析的藏文字符识别[A].第五届全国几何设计与计算学术会议论文集.2011-11-11
[3]曾振柄;李传中;.基于Bezier曲线逼近的二次曲线快速作图[A].第十二届全国图象图形学学术会议论文集.2005-10-01
更多