@收款{zbMATH07218077，作者={戴维斯，欧内斯特}，标题={验证技术和基础物理}，BookTitle={数学、认识论和科学中的算法和复杂性。2015年和2016年ACMES会议论文集，英国伦敦。论文选}，国际标准图书编号={978-1-4939-9050-4；978-1-493 9-9051-1}，页码={81--132}，年份={2019}，出版商={纽约，NY:Springer；多伦多：菲尔兹数学科学研究所}，语言={英语}，DOI={10.1007/978-1-4939-9051-1_4}，关键词={68V15,00A79}，zbMATH={7218077}，Zbl={1454.68162}}