机译:通过Groebner Bases获得Taylor和Lyubeznik的决议
Lehrstuhl fuer Mathematik I, Universitaet Mannheim, 68131 Mannheim, Germany;
机译:LYUBEZNIK解决方案和单一理想的算术等级
机译:Lyubeznik的解决方案和根源复合体
机译:基于Groebner基于库的方法在基于规则的专家系统中进行向后推理
机译:通用计算机代数系统上的布尔Groebner基和综合布尔Groebner基的实现方法
机译:Groebner基座在基于Pasternak地基的矩形组合板几何非线性分析中的应用。
机译:基于TDOA的室内反向定位系统的改进Chan-Taylor算法多径映射方法
机译:通过Gröbner基地进行的Taylor和Lyubeznik决议