侯晓荣

作品数：7被引量：35H指数：4
导出分析报告
供职机构：中国科学院成都计算机应用研究所更多>>
发文主题：代数方程组样本点几何定理结式吴消元法更多>>
发文领域：理学一般工业技术更多>>
发文期刊：《科学通报》《计算机应用》《系统科学与数学》《四川大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
平面代数剖分样本点临界点算法被引量：1
《四川大学学报（自然科学版）》2001年第3期346-349,共4页侯晓荣 严爱国 黄黎 
国家"973"基金项目 !(NKBSRFG19980 30 6 )
侯晓荣给出了寻求平面代数剖分样本点的临界点算法 ,这较惯用的柱形代数分解 (CAD)算法 ,其效率较高 .基于侯晓荣的算法 ,作者对有无界分支的情形 ,采用了球极变换 ,将其转化为有界分支 ,再利用临界点算法来求样本点 .
关键词：代数曲线 代数剖分 样本点 CAD算法 正定性 临界点 球极变换 平面 
自动发现不等式型定理的一个完备算法被引量：10
《中国科学（E辑）》2001年第3期273-288,共16页杨路 侯晓荣 夏壁灿 
国家重点基础研究发展规划项目(批准号 :G19980 30 6 0 2 );中国科学院"九五"重点基础研究项目
利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几...
关键词：判别式序列 WR算法 吴消元法 柱形代数分解 自动发现不等式型定理 
平面代数剖分样本点的一个有效算法被引量：2
《计算机应用》1997年第6期27-29,共3页侯晓荣 曾振柄 
国家自然科学基金;成都方正研究院的资助
本文提出了寻找平面代数剖分样本点的一个有效算法并给出了实现该算法的一个完整的Ｍａｐｌｅ程序。
关键词：代数剖分 代数样本点 计算机 代数 算法 
几何定理机器证明的WE完全方法被引量：11
《系统科学与数学》1995年第3期200-207,共8页张景中 杨路 侯晓荣 
国家自然科学基金
在几何定理机器证明的各种方法中，吴氏方法获得了显著的成功．如预先把有关代数簇分解为不可约簇，则吴氏方法可成为完全方法．本文在吴法的基础上，以辗转伪除法为辅助工具，发展出一种不必预先分解代数簇的完全方法，并给出一些手算...
关键词：机器证明 辗转伪除法 几何定量 WE完全法 
几何定理机器证明的结式矩阵法被引量：11
《系统科学与数学》1995年第1期10-15,共6页张景中 杨路 侯晓荣 
国家自然科学基金
本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法．由于使用了吴除法及子结式计算，我们也称这种方法为ＷＲ分解算法．
关键词：吴除法 子结式 几何定理 WR法 结式矩阵法 
代数方程组相关性的一个判准及其在定理机器证明中的应用被引量：9
《中国科学（A辑）》1993年第10期1036-1042,共7页张景中 杨路 侯晓荣 
国家"攀登"计划资助项目
本文在吴-Ritt 整序原理基础上,给出了检验一多项式在一给定的代数簇上是否消没的充要条件,检验方法是切实可行的,且不依赖于代数簇的分解.
关键词：代数方程组 相关性 定理机器证明 
关于吴氏非退化条件的一点注记
《科学通报》1992年第19期1821-1821,共1页张景中 杨路 侯晓荣 
国家自然科学基金
对多项式组PS:h_1(y_1…,y_n),…,h_s(y_1,…,y),由里特-吴整序原理,经适当更换诸yi的记法,可得一升列AS:f_1(u,)x_1),f_2(u,x_1,x_2),…,f_r(u,x_1,…,x_r),其中u=(u_1,u_2,…,u_d)。
关键词：吴氏 非退化条件 代数方程组 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部