@收款{zbMATH07196580，作者={Larchey-Wendling，Dominique和Matthes，Ralph}，标题={提取宽度第一算法的认证}，BookTitle={程序构建数学。第13届国际会议，MPC 2019，葡萄牙波尔图，2019年10月7-9日。诉讼}，ISBN＝{978-3-030-33635-6；978-3-030-33636-3}，页码={45--75}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-33636-3_3}，关键词={68N18，68P05}，zbMATH={7196580}，Zbl={1434.68090}}