@第{zbMATH07835213条，作者={P{\k{a}}k，卡罗尔}，标题＝{表示具有10个未知数的多项式的素数-引言}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={30}，数字={3}，页码={169--198}，年份={2022}，语言={英语}，DOI={10.2478/forma-2022-0013}，关键词={68V20,11D45}，zbMATH=｛7835213｝}