Department of Computer Science, University of Gdansk, Gdansk, Poland;
机译:用于Mizar证明检查的Groebner基计算的外部CA系统接口
机译:关于某些对称系统的Groebner基及其在编码理论中的应用
机译:基于Groebner基础理论的选择性谐波消除方法
机译:Grobner基地 - MIZAR系统中的理论细化
机译:基于蒙特卡洛模拟的评估和基于规则的系统优化
机译:基于信息论的模型在全基因组范围内预测显示和完善结合位点
机译:关于线性差分系统Grobbner基的计算
机译:使用Groebner基的多项式环系统的可达性测试