@第{zbMATH07583152条，作者={科赫，塞巴斯蒂安}，标题={关于图形和}，FJournal={形式化数学}，日志={Formaliz.Math.}，ISSN={1426-2630}，体积={29}，数字={4}，Pages＝{249-278}，年份={2021}，语言={英语}，DOI={10.2478/forma-2021-0023}，关键词={68V20,05C76}，zbMATH={7583152}，Zbl={1494.68300}}