@InCollection{zbMATH07437070，作者={Rabe，Markus N.和Szegedy，Christian}，标题={朝向自动数学家}，BookTitle={自动扣除--CADE 28。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼}，国际标准图书编号={978-3-030-79875-8；978-3-0.30-79876-5}，页码={25--37}，年份={2021}，出版商＝{Cham:S普林格}，语言={英语}，DOI={10.1007/978-3-030-79876-5_2}，关键词={68V15,68T05,68T50,68V20}，zbMATH={7437070}，Zbl={1510.68116}}