@第{zbMATH07428925条，作者＝{Koch，Sebastian}，标题={杂项图形预备。{I}}，FJournal={形式化数学}，Journal＝{形式化数学}，ISSN={1426-2630}，体积={29}，数字={1}，页码={21--38}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0003}，关键词={68V20,05C99}，zbMATH={7428925}，Zbl={1473.68208}}