@InCollection{zbMATH06515536，作者={Bromberger，Martin and Sturm，Thomas and Weidenbach，Christoph}，标题={重新访问线性整数算法}，BookTitle={自动扣除--CADE-25。第25届自动扣减国际会议，德国柏林，2015年8月1-7日。诉讼}，ISBN＝{978-3-319-21400-9；978-3-319-21401-6}，页码={623--637}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-21401-6_42}，关键词={68W30,68Q60,68R07,68V15,90C10}，zbMATH={6515536}，Zbl={1432.68596}}