@收款{zbMATH06664857，作者={Neron，Pierre}，标题＝{证明平方根和除法消去}，BookTitle={根据2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数字软件验证国际研讨会上的演示文稿选出的论文}，页码={117--131}，年份={2015年}，出版商={阿姆斯特丹：爱思唯尔}，语言={英语}，DOI={10.1016/j.entcs.2015.10.112}，关键词={68N18,65Y04}，zbMATH={6664857}，Zbl={1351.68062}}