@第{zbMATH06726496条，作者={Cohetto，Roland}，标题={实射影平面上的单应性群}，FJournal＝{形式化数学}，日志={Formaliz.Math.}，ISSN＝{1426-2630}，体积={25}，数字={1}，页码={55--62}，年份={2017年}，语言={英语}，DOI＝{10.1515/形式-2017-0005}，关键词={51N15,03B35}，zbMATH={6726496}，Zbl={1365.51014}}