侯晓荣
【姓名】 侯晓荣
【职称】
【研究领域】 数学;计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 非退化,升列,吴除法,机器证明,多项式组,完全方法,符号修订表,代数剖分,判别式序列,整序,几何定理,结式矩阵,条件,代数样本点,完全判别系统,子结式,代数簇,柱形代数分解,正常升列,项式,WR算法,...
【工作单位】 中国科学院成都计算机应用研究所
【曾工作单位】 中国科学院成都计算机应用研究所;
【所在地域】 成都
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/8 6 8 2 142 1463
中国期刊全文数据库    共找到8篇
[1]杨路,侯晓荣,夏壁灿.自动发现不等式型定理的一个完备算法[J]中国科学E辑:技术科学.2001,(03)
[2]侯晓荣,严爱国,黄黎.平面代数剖分样本点临界点算法[J]四川大学学报(自然科学版).2001,(03)
[3]张景中，杨路，侯晓荣.几何定理机器证明的结式矩阵法[J]系统科学与数学.1995,(01)
[4]张景中，杨路，侯晓荣.几何定理机器证明的WE完全方法[J]系统科学与数学.1995,(03)
[5]杨路,侯晓荣,曾振柄.多项式的完全判别系统[J]中国科学E辑:技术科学.1996,(05)
[6]侯晓荣,曾振柄.平面代数剖分样本点的一个有效算法[J]计算机应用.1997,(06)
[7]张景中,杨路,侯晓荣.关于吴氏非退化条件的一点注记[J]科学通报.1992,(19)
[8]张景中;杨路;侯晓荣;.代数方程组相关性的一个判准及其在定理机器证明中的应用[J]中国科学(A辑 数学 物理学 天文学 技术科学).1993,(10)
更多