侯晓荣
- 作品数：8 被引量：45H指数：4
- 供职机构：中国科学院成都计算机应用研究所更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：理学一般工业技术更多>>
- 平面代数剖分样本点的一个有效算法被引量：2
- 1997年
- 本文提出了寻找平面代数剖分样本点的一个有效算法并给出了实现该算法的一个完整的Ｍａｐｌｅ程序。
- 侯晓荣曾振柄
- 关键词：计算机代数
- 关于吴氏非退化条件的一点注记
- 1992年
- 对多项式组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)。
- 张景中杨路侯晓荣
- 关键词：代数方程组
- 代数方程组相关性的一个判准及其在定理机器证明中的应用被引量：10
- 1993年
- 本文在吴-Ritt 整序原理基础上,给出了检验一多项式在一给定的代数簇上是否消没的充要条件,检验方法是切实可行的,且不依赖于代数簇的分解.
- 张景中杨路侯晓荣
- 关键词：代数方程组定理机器证明
- 几何定理机器证明的结式矩阵法被引量：15
- 1995年
- 本文提出了一种不必预先分解升列为不可约于列而克服所谓“可约性困难”的方法．由于使用了吴除法及子结式计算，我们也称这种方法为ＷＲ分解算法．
- 张景中杨路侯晓荣
- 关键词：几何定理
- 几何定理机器证明的WE完全方法被引量：13
- 1995年
- 在几何定理机器证明的各种方法中，吴氏方法获得了显著的成功．如预先把有关代数簇分解为不可约簇，则吴氏方法可成为完全方法．本文在吴法的基础上，以辗转伪除法为辅助工具，发展出一种不必预先分解代数簇的完全方法，并给出一些手算实例．
- 张景中杨路侯晓荣
- 关键词：机器证明
- 平面代数剖分样本点临界点算法被引量：1
- 2001年
- 侯晓荣给出了寻求平面代数剖分样本点的临界点算法 ,这较惯用的柱形代数分解 (CAD)算法 ,其效率较高 .基于侯晓荣的算法 ,作者对有无界分支的情形 ,采用了球极变换 ,将其转化为有界分支 ,再利用临界点算法来求样本点 .
- 侯晓荣严爱国黄黎
- 关键词：代数曲线样本点正定性
- 自动发现不等式型定理的一个完备算法被引量：15
- 2001年
- 利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几何约束问题的实解分类 .在Maple下 。
- 杨路侯晓荣夏壁灿
- 关键词：吴消元法
- 几何定理机器证明的实验法及其实现
- 侯晓荣
