【摘要】决定Riemann张肌的等价索引多项式是在计算机代数学的最旧的研究话题之一。然而,自从Gr,它尚待是一个挑战性的问题?bner基础理论是还没足够强大那不能有限地被产生处理理想。这篇论文由扩大Gr解决这个问题?bner基础理论。首先,多项式经由一枚无穷地产生的免费可交换的monoid戒指被描述。作者然后提供Gr的一种分解形式?定义朔望的bner基础在每枚限制戒指设定。正规形式证明是关于Gr的正常形式?在基础的bner基础限制了戒指,它允许一个决定多项式的等价。最后,以便简化正规形式的计算,作者发现最小的限制戒指。
【关键词】
全文来源于知网
Fault Detection for Complex Systems with Channel F WANG Yanqin1 REN Wei 2018 16288 0 ¥:0
收藏
China's NTB Market: A Liquidity Dilemma LI Yumeng1,2,3 MENG 2018 16351 0 ¥:0
收藏
How Does Debt Structure Influence Stock Price Cras JIA Zichao DENG Lu X 2018 16500 0 ¥:0
收藏
An Improved Early Termination Sparse Interpolation HUANG Qiaolong 2018 16581 0 ¥:0
收藏
Fuzzy Static Output Feedback H∞ Control for Nonlin ZHAO Tao DIAN Songyi 2018 16702 0 ¥:0
收藏