SyzInv.mpl公司 2份文件引用(2018–2021) 软件作者： Binaei，本托霍达；阿米尔·哈希米；Werner M.塞勒。 相关软件： 枫树 主要字段： 交换代数（13-XX）；计算机科学（68-XX）