@收款{zbMATH06713972，作者={梅尔策、斯蒂芬和萨维、布鲁诺}，标题={用于多变量分析组合的符号数字工具}，BookTitle={第41届符号和代数计算国际研讨会论文集，ISSAC 2016，滑铁卢，加拿大，2016年7月20日至22日}，国际标准图书编号={978-1-4503-4380-0}，页码={333--340}，年份={2016年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/2930889.2930913}，关键词={68W30,05A15,05A16,68Q25}，zbMATH={6713972}，Zbl={1360.68945}}