@文章{zbMATH07835203，作者={Schwarzweller，Christoph and Burgoa，Sara}，标题={有理多项式{{\（X^2-2\）}}、{{\，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积＝{30}，数字={1}，页码={23--30}，年份={2022}，语言={英语}，DOI={10.2478/forma-2022-0003}，关键词={68V20,12F05}，zbMATH={7835203}，Zbl={1535.68477}}