@收款{zbMATH07298556，作者={Carette，Jacques and Farmer，William M.和Sharoda，Yasmine}，标题={利用理论陈述中包含的信息}，BookTitle={智能计算机数学。第13届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26日至31日。诉讼}，国际标准图书编号={978-3-030-53517-9；978-3-0.30-53518-6}，页码={55--70}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-53518-6_4}，关键词={68V20,08A70,68V30}，zbMATH={7298556}，Zbl={1455.68255}}