机译:积分域上多项式环的残基类环的Grobner基和Krull维
机译:多项式环上的多项式环中的减少的Grobner基
机译:上下文无关语法生成函数的GROBNER基和定义多项式
机译:通过Isabelle中的Grobner基进行上下文感知计算和推论环相等
机译:使用化合价相互作用公式VIF与定量计算机计算进行的化学推导比较:(1)〜主族氢化物,(2)〜高价碳正离子,(3)〜1,3氢转移反应的研究。
机译:基于散列的RFID身份验证机制用于基于IoT的多媒体系统中的上下文感知管理
机译:冯·诺依曼正则环上多项式环的Grobner基的应用:复杂Grobner基的特殊情况(理论和在公式处理中的应用研究)