@第{zbMATH07581910条，作者={Bradford，R.和Davenport，J.H.和England，M.和Sadeghimanesh，A.和Uncu，A.}，标题={{DEWCAD}项目：推回柱形代数分解的双指数墙}，FJournal={计算机代数中的ACM通信}，Journal={ACM Commun.Comput.Algebra}，ISSN={1932-2232}，体积={55}，数字={3}，页码={107--111}，年份={2021}，语言={英语}，DOI={10.1145/3511528.3511538}，关键词={68W30}，zbMATH={7581910}}