@第{zbMATH06740417条，作者={Braun，Gabriel and Narboux，Julien}，Title={{Tarski}几何中{Pappus}'定理的综合证明}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN={0168-7433}，体积={58}，数字={2}，页码={209--230}，年份={2017年}，语言={英语}，DOI={10.1007/s10817-016-9374-4}，关键词={03B35,51M04,51M05,68T15}，zbMATH＝{6740417}，Zbl={1405.03034}}