@第{zbMATH07151943条，作者={Junttila、Tommi和Karppa、Matti和Kaski、Petteri和Kohonen、Jukka}，Title={用于对称约简的自适应前缀分配技术}，FJournal={符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积={99}，Pages＝{21-49}，年份={2020年}，语言={英语}，DOI={10.1016/j.jsc.2019.03.002}，关键词={68R07,68T20,68W10}，zbMATH={7151943}，Zbl={1444.68129}}