李永彬

作品数：7被引量：14H指数：2
导出分析报告
供职机构：电子科技大学数学科学学院更多>>
发文主题：注记基于数据库可读证明面积法代数方法更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《西南民族大学学报（自然科学版）》《系统科学与数学》《大学数学》《计算机应用》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
有限集上偏序关系的符号计算
《系统科学与数学》2021年第12期3342-3350,共9页张升荣 李永彬 资俊伟 骆孟煜 
不同于序理论和拓扑理论中关于偏序关系和T_(0)拓扑的研究思路,文章给出一种通过解有限域F_(2)上多项式方程组求有限集[n]={1,2,...,n}上所有偏序关系和T_(0)拓扑的方法,并通过实例说明了方程组零点和偏序以及T_(0)拓扑的对应关系.运用G...
关键词：有限偏序 T 拓扑 Gr?bner基 
有限域上代数簇间多项式映射的一个注记被引量：1
《大学数学》2015年第1期35-37,共3页林晨 李永彬 
设有限域Fq,文献[1]构造性的证明了结论:Map(Fnq,Fq)中的每个元素都可以唯一的表示成Fq[x1,…,xn]中次数不超过q-1的多项式.本文利用Groebner基与多项式映射的相关结论,首先给出了该结论一个更为简明的证明,并进一步得到有限域上代数簇...
关键词：有限域 坐标环 多项式映射 代数簇 
有限维线性空间上子空间并的性质的一个注记被引量：3
《大学数学》2014年第4期29-32,共4页孙丽雪 李永彬 林晨 
对于特征为零的域上的有限维线性空间的子空间的并,我们知道下述性质:有限个互不包含的非平凡子空间的并不是原来的线性空间.一方面,本文通过介绍有限维线性空间中任一子空间与齐次线性方程组解子空间的关系,及商空间的维数公式,给出了...
关键词：子空间 商空间 维数公式 子空间的并 特征 仿射簇 
部分子结式性质的改进证明
《大学数学》2013年第6期55-64,共10页靳琴琴 李永彬 赖开权 
为了更好的计算两个单变元多项式的最大公因式,20世纪初有Burside和Panton首先提出了结式的概念,在结式的基础上又提出了子结式的概念,这使得求最大公因式有了一个更系统的算法.计算机代数中关于子结式的经典定义过于繁琐,文献[1]中给...
关键词：子结式 余子式 公因式 
基于特征列算法的0-1整数规划问题
《西南民族大学学报（自然科学版）》2011年第6期863-867,共5页邢振宇 周楠 李永彬 
国家自然科学基金(10671134)
特征列方法又称吴方法,其在数学理论研究、理论物理等诸多领域都得到了广泛的应用,是计算机代数领域的一种重要的方法,它通过引入三角列和升列等概念来达到多项式方程组的消元求解目的.解整数规划问题即是先将问题转化为多项式方程组的...
关键词：三角列 特征列 吴方法 0-1整数规划 
几何定理机器证明三十年被引量：10
《系统科学与数学》2009年第9期1155-1168,共14页张景中 李永彬 
"973"(2004CB318000)项目资助
由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索...
关键词：几何定理机器证明 可读证明 代数方法 面积法 基于数据库的搜索法. 
一种改进的伪除算法
《计算机应用》2006年第B06期139-140,共2页唐樨瑾 李永彬 
国家973规划项目(2004CB318003)
近来提出了一个通过计算一种新型矩阵的行列式的值来计算伪余的伪除算法(newprem)。改进了newprem中利用高斯消元法的方式,尽量可能地克服过原算法中程膨胀,消除冗余运算。实验结果显示改进后的算法newprem2计算效率优于newprem算法。ne...
关键词：多项式 行列式的值 伪除 高斯消元 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部