马玉杰 李师正 张玉芬 孙永利

Bezout矩阵 强右拟正规带 完全正则半群 半格 有理曲线曲面 -半格半环 右拟正规带 纯正右拟正规带 完全正则半群的结构 完全正则半环 拟完全正则半群 拟完全正则半环 隐式曲线曲面 分配格 隐式化 同余 带半环

山东师范大学数学系 中国科学院数学与系统科学研究院 北京科技大学数力系 中国科学院数学机械化重点实验室 100080北京化工大学数学与信息科学系