@第{zbMATH07589781条，作者={Buring，R.和Kiselev，A.V.}，标题={展开式{{\（\star\bmod\bar{o}（\hbar^4）\）}}和{Kontsevich}变形量子化}中的计算机辅助证明方案，FJournal={实验数学}，日记={Exp.Math.}，ISSN={1058-6458}，体积={31}，数字={3}，页码={701--754}，年份={2022}，语言={英语}，DOI＝{10.1080/10586458.2019.1680463}，关键词={53D55,53D50,68R10,05C31,16Z05,81R60,81Q30,05C22}，zbMATH={7589781}，Zbl={1507.53088}}