【10571095】数学机械化研究中的例证法国家自然基金项目

数学机械化研究中的例证法

项目批准号： 10571095

批准年份： 2005

学科分类： A0605.符号计算与机器证明

项目负责人：侯晓荣

资助类别：面上项目

负责人职称：教授

依托单位：宁波大学

资助金额： 24万元

关键词：不等式;自动推理;数学机械化;例证法

起止时间： 2006-01-01到2008-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	An explicit criterion for the positional relationship of an ellipse and a parabola	会议论文	Xiaorong Hou\|Min Chen\|
2	A Tsallis-entropy Image Thresholding Method Based on Two-dimensional Histogram Obique Segmentation	会议论文	Xiaorong Hou\|Xiaoguang Tian\|
3	基于数值计算的几何定理自动搜索方法	期刊论文	侯晓荣\|薛利\|
4	A New Scan-Line Algorithm using clustering approach	会议论文	Xiaoguang Tian\|Xiaorong Hou\|
5	键合多项式p-不可约的一些结果	期刊论文	解烈军\|侯晓荣\|
6	平移多项式的判别序列	期刊论文	陈旻\|
7	三级四阶辛格式的完全构造	期刊论文	徐松\|侯晓荣\|
8	遗传聚类的社团结构发现	期刊论文	侯晓荣\|朱大勇\|
9	A New Scan-Line Algorithm using clustering approach	会议论文	Xiaoguang Tian\|Xiaorong Hou\|
10	Convergence of a series whose terms are iterates of quadratic maps	期刊论文	Weinian Zhang\|Xiaorong Hou\|
11	差分代换的一些几何性质	期刊论文	徐松\|邵俊伟\|侯晓荣\|
12	一种小波域数字水印算法及其MATLAB仿真	期刊论文	吴献超\|刘莎\|侯晓荣\|
13	Positive definiteness of Hermitian interval matrices	期刊论文	Junwei Shao\|Xiaorong Hou\|
14	零维多项式组零点的1种直接表示法	期刊论文	王雪敏\|侯晓荣\|
15	实代数数符号判定的一种新算法	期刊论文	杨志辉\|解烈军\|侯晓荣\|
16	三级四阶辛格式的完全构造	期刊论文	徐松\|侯晓荣\|
17	一种小波域数字水印算法及其MATLAB仿真	期刊论文	吴献超\|刘莎\|侯晓荣\|
18	实代数数符号判定的一种新算法	期刊论文	杨志辉\|解烈军\|侯晓荣\|
19	Positive definiteness of Hermitian interval matrices	期刊论文	Junwei Shao\|Xiaorong Hou\|
20	Some Geometric Properties of Successive Diﬀerence Substitutions	期刊论文	Song Xu\|Junwei, Shao\|Xiaorong Hou\|
21	键合多项式p-不可约的一些结果	期刊论文	解烈军\|侯晓荣\|
22	骨骼肌细胞频响特性的数值分析	期刊论文	马青\|王立洪\|侯晓荣\|
23	An explicit criterion for the positional relationship for two planar ellipses,	会议论文	Min Chen\|Xiaorong Hou\|
24	An explicit criterion for the positional relationship of an ellipse and a parabola	会议论文	Xiaorong Hou\|Min Chen\|
25	A Tsallis-entropy Image Thresholding Method Based on Two-dimensional Histogram Obique Segmentation	会议论文	Xiaorong Hou\|Xiaoguang Tian\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享