聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 一个重写证明算法
出处:计算机学报 1987年第7期
摘要:本文在AC合一和布尔代数标准重写系统的基础上,提出了一组转换规则和一个定理证明算法,这种证明算法使用了... 显示全部
关键词: 证明算法 重写系统 转换规则 布尔环 布尔表达式 重写规则 布尔代数 定理证明 分解式 交换环
期刊文章 交换环上上三角矩阵的乘法自同构(英文)
出处:南京大学学报:数学半年刊 2011年第2期 168-175,共8页
摘要:设R是有单位无的交换环,并且2在R中可逆.记T_n(R)是由R上所有的n×n上三角矩阵组成的乘法半群.本文将决定... 显示全部
关键词: 半群 自同构 上三角矩阵 交换环
在线阅读 下载全文
期刊文章 一类有限交换环上的广义单位Cayley图的若干性质
出处:重庆师范大学学报:自然科学版 2015年第1期60-63,共4页
摘要:设R是一个含有非零单位元的有限交换环,U(R)是R的单位群,G是U(R)的一个乘法子群,S是G的一个非空子集并... 显示全部
关键词: 交换环 单位 正则图 边着色数
在线阅读 下载全文
找到3条结果
`