@文章{zbMATH07428925，作者={科赫，塞巴斯蒂安}，标题={杂项图形预备。{I}}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={29}，数字={1}，页码={21--38}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0003}，关键词={68V20,05C99}，zbMATH={7428925}，Zbl={1473.68208}}