机译:一个有关环R(X)和R
机译:一个有关环R(X)和R
机译:一个对Bapat&Sunder问题的反例
机译:反击Bapat和Sunder问题
机译:自动生成模型和反例,并将其应用于三元布尔代数中的开放问题
机译:解决密西西比河三角洲淡水贻贝贝壳环遗址的史前职业季节性问题:在碳酸盐地球化学和动物考古学中的应用。
机译:以北环的反例
机译:空间单项曲线的非Cohen-Macaulay符号爆炸,以及考西克问题的反例(爆炸环的环论)
机译:使用自动定理证明器回答两个开放问题的有限模型和反例的生成和验证