您的位置： 专家智库 > >

于建平

作品数：6 被引量：9H指数：2
供职机构：中国科学院数学与系统科学研究院更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 2篇学位论文

领域

  • 6篇理学

主题

  • 3篇正则
  • 3篇完全正则
  • 3篇完全正则半环
  • 3篇半环
  • 3篇半群
  • 2篇正则半群
  • 2篇完全正则半群
  • 2篇半格
  • 1篇代数
  • 1篇英文
  • 1篇数学
  • 1篇数学机械化
  • 1篇同余
  • 1篇强半格
  • 1篇微分
  • 1篇微分代数
  • 1篇微分方程
  • 1篇微分几何
  • 1篇机器证明
  • 1篇分配格

机构

  • 5篇山东师范大学
  • 5篇中国科学院数...

作者

  • 6篇于建平
  • 4篇孙永利
  • 4篇李师正
  • 3篇张玉芬

传媒

  • 2篇北京大学学报...
  • 2篇山东科学

年份

  • 2篇2005
  • 1篇2004
  • 1篇2003
  • 1篇2002
  • 1篇2001
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
某些拟完全正则半环上的同余(英文)被引量：5
2004年
研究了某些拟完全正则半环上的同余 。
孙永利于建平李师正张玉芬
关键词：同余
某些拟完全正则半环的结构被引量：2
2003年
本文利用已知的拟完全正则半群的结构,得到了某些拟完全正则半环的结构。
孙永利李师正张玉芬于建平
关键词：半格分配格
某些半群的带分解及其推广
该文主要讨论了某些半群的带或强带分解,给出了它们的结构,同时讨论了正规半环的结构.首先定义了伪右拟正规带,在强带的定义的基础上,得出了伪右拟正规带的结构分解:伪右拟正规带可分解为左零带的强右拟正规带.进一步给出了群的纯正...
于建平
关键词：强半格
文献传递
微分方程机械化方法在混合计算与机器证明中的应用
于建平
关键词：微分方程机器证明微分代数微分几何数学机械化
强带分解的应用
2005年
在强带定义的基础上 ,主要讨论了某些正规带的结构分解。
于建平孙永利李师正
某些完全正则半环的结构被引量：3
2002年
利用已知的完全正则半群的结构,得到了某些完全正则半环的结构。
孙永利李师正张玉芬于建平
关键词：完全正则半群完全正则半环
全选 清除 导出
共1页<1>
聚类工具0