@文章{zbMATH07178879，作者={Schwarzweller，Christoph}，标题={在字段{{\（F\）}}与{{（F[X]）}}}的交集上，FJournal={形式化数学}，Journal＝{形式化数学}，ISSN={1426-2630}，体积={27}，数字={3}，页码={223--228}，年份={2020年}，语言={英语}，DOI={10.2478/forma-2019-0021}，关键词={68V20,12E05,12F05}，zbMATH={7178879}，Zbl={1433.68583}}