@收款{zbMATH00177527，作者={Carrington，D.A.和Robinson，K.A.}，标题={随机优化的计算机辅助}，BookTitle={计算机辅助验证。第二届国际会议，CAV'90，美国新泽西州新不伦瑞克，1990年6月18日至21日。诉讼}，国际标准图书编号={3-540-54477-1}，页码={312--321}，年份={1991年}，Publisher={Berlin等：Springer-Verlag}，语言={英语}，关键词={68Q60}，zbMATH={177527}，Zbl={0765.68117}}