@第{zbMATH07785119条，作者={托德，菲利普}，标题={角度定理的自动发现}，FJournal={数学与人工智能年鉴}，日志={Ann.Math.Artif.Intern.}，ISSN={1012-2443}，体积={91}，数字={6}，Pages={753-778}，年份={2023}，语言={英语}，DOI={10.1007/s10472-023-09841-6}，关键词={15A99,05C50,51M04,68V99}，zbMATH={7785119}，Zbl={1530.15025}}