收藏本站
《中国科学(A辑 数学 物理学 天文学 技术科学)》 1993年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

代数方程组相关性的一个判准及其在定理机器证明中的应用

张景中  杨路  侯晓荣  
【摘要】:本文在吴-Ritt 整序原理基础上,给出了检验一多项式在一给定的代数簇上是否消没的充要条件,检验方法是切实可行的,且不依赖于代数簇的分解.

手机知网App
【引证文献】
中国期刊全文数据库 前6条
1 杨路;计算机怎样证明几何不等式[J];广州大学学报(自然科学版);2004年02期
2 张景中;机器证明的回顾与展望[J];大自然探索;1997年01期
3 顾德裕;平面高级杆组装配构形特殊位置的计算机代数解[J];机械设计;2004年10期
4 王晓京,张景中,陈光喜,沈国坤;一个基于知识库及其自动推理机制的ICAI(化学)系统[J];计算机学报;1999年09期
5 刘忠,陈世平,向晓林;基于DIXON结式的聚筛法的自动化软件GAS[J];四川大学学报(工程科学版);2004年03期
6 张景中;机器证明的回顾与展望[J];数学通报;1997年01期
【同被引文献】
中国期刊全文数据库 前10条
1 吴文俊;ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY[J];Science in China,Ser.A;1978年02期
2 吴文俊;初等几何判定问题与机械化证明[J];中国科学A辑;1977年06期
3 吴文俊;初等微分几何的机械化证明[J];中国科学A辑;1979年S1期
4 洪加威;能用例证法来证明几何定理吗?[J];中国科学A辑;1986年03期
5 张景中,杨路,高小山,周咸青;几何定理可读证明的自动生成[J];计算机学报;1995年05期
6 张景中,高小山,周咸青;基于前推法的几何信息搜索系统[J];计算机学报;1996年10期
7 顾德裕;平面高级杆组装配构形的计算机代数解[J];机械设计;2003年10期
8 张景中,杨路,侯晓荣;关于吴氏非退化条件的一点注记[J];科学通报;1992年19期
9 张景中;几何定理机器证明20年[J];科学通报;1997年21期
10 刘忠,陈世平;一个求解非线性代数方程组软件GAS的实现[J];四川大学学报(自然科学版);2003年04期
中国博士学位论文全文数据库 前1条
1 赵世忠;Dixon结式的理论研究与新算法[D];中国科学院研究生院(成都计算机应用研究所);2006年
【二级引证文献】
中国期刊全文数据库 前5条
1 谢平,刘彬,李宇波;基于MATLAB的数字信号处理ICAI系统[J];电化教育研究;2002年03期
2 卜胜贤,罗可;基于Web的ICAI系统分析与设计[J];长沙理工大学学报;2004年Z1期
3 游安军;近20年我国平面几何教学研究的回顾与思考[J];数学教育学报;2000年03期
4 王家铧,王申怀;几何教学改革展望[J];数学教育学报;2000年04期
5 王树义,袁晓刚;降低广义归结原理空间复杂度方法的研究[J];现代计算机;2001年03期
中国博士学位论文全文数据库 前4条
1 梁芳;计算机引起的数学哲学反思[D];中国社会科学院研究生院;2000年
2 杨宁学;作业系统中计算类主观题处理技术研究[D];西南交通大学;2006年
3 方海光;我国教育软件价值评测研究[D];中国科学院研究生院(成都计算机应用研究所);2006年
4 江建国;iGeo:智能几何软件的定理证明器[D];中国科学院研究生院(成都计算机应用研究所);2006年
中国硕士学位论文全文数据库 前10条
1 熊宛皎;带有自动推理功能的程序设计ICAI系统研究[D];江西师范大学;2003年
2 张素敏;塑料产品缺陷分析的CAI及专家系统[D];南京航空航天大学;2004年
3 宋永福;初中几何课程中的若干问题与对策[D];上海师范大学;2004年
4 刘汉武;数学知识获取研究和知识管理平台的实现[D];首都师范大学;2005年
5 童海峰;基于DFL的多Agent自动推理平台设计[D];苏州大学;2005年
6 张丽萍;基于组件技术的通用ICAI系统的研究与设计[D];内蒙古大学;2005年
7 杜辉;基于归结原理的程序综合设计与实现[D];大连理工大学;2006年
8 俞健;不等式软件与不等式教学[D];广州大学;2006年
9 田松;基于杆组理论的Ⅲ级机构运动分析与仿真[D];武汉科技大学;2007年
10 葛夫国;Mizar语言系统与四元数的代数结构[D];青岛科技大学;2007年
【相似文献】
中国博士学位论文全文数据库 前3条
1 柴凤娟;布尔多项式组的特征列方法及其在流密码分析中的应用[D];中国科学院研究生院(数学与系统科学研究院);2008年
2 丁琦;m-齐次多项式系统求解[D];吉林大学;2007年
3 李永彬;非线性代数方程组的扩WE相对单纯分解和真正常分解算法[D];四川大学;2001年
中国硕士学位论文全文数据库 前10条
1 刘昆;求代数函数在半代数系统约束下的临界值的符号算法[D];北京大学;2008年
2 季振义;基于弱非退化条件的代数簇非混合分解的改进算法[D];电子科技大学;2009年
3 王礼萍;理想的Groebner基与特征列[D];吉林大学;2008年
4 周晶华;准环及其应用[D];吉林大学;2004年
5 吕占美;吴方法在多目标规划问题中的应用[D];中南大学;2011年
6 苏道毕力格;用吴方法计算几类发展方程的对称及其不变解[D];内蒙古工业大学;2005年
7 陈晶超;吴特征列方法求解一类离散时间SIR传染病模型[D];黑龙江大学;2010年
8 邵春营;用吴特征列方法求解离散的Lotka-Volterra捕食者—食饵竞争系统[D];黑龙江大学;2010年
9 耿涛;Gr(?)bner基方法与吴方法之比较及其应用[D];海南大学;2010年
10 周轶;利用微分—差分特征列方法精确求解Blaszak-Marcinik 4-场格系统[D];黑龙江大学;2012年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026