@在集合{zbMATH06920299中，作者={Vale-Enriquez，Fernando and Brown，Christopher W.}，标题={多项式约束和{{\textsc}}{Tarski}}中的未设核，BookTitle={数学软件--ICMS 2018。第六届国际会议，2018年7月24日至27日，美国印第安纳州南本德。诉讼}，国际标准图书编号={978-3-319-96417-1；978-3-3169-96418-8}，页码={466--474}，年份={2018年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-96418-8_55}，关键词={68W30}，zbMATH={6920299}，Zbl={1395.68353}}