MXNet公司 17篇文献引用(2018–2024) 软件作者： T·陈、M·李、Y·李、M·林、N·王、M·王、T·肖、B·徐、C·张、Z·张 相关软件： TensorFlow；PyTorch；咖啡… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
组成 5份文件引用(2005–2010) 软件作者： Danicic，S。；福克斯，C。；哈曼，M。；Hierons，R。 相关软件： ASTREE公司；CSSV；TVLA… 主要字段： 计算机科学（68-XX）
人民 6篇文献引用(2019–2021) 软件作者： 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件： REBA；BWIBots；ALM… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
BINSEC/SE银行 3份文件引用(2017–2021) 软件作者： 罗宾·戴维；塞巴斯蒂安·巴丁；Thanh Ta；Josselin Feist；劳伦特·穆尼尔；玛丽·劳雷·波特；珍妮·伊夫·马里恩 相关软件： z3；CVC4；CBMC… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
软盘 1份文件引用(2016) 软件作者： Lakhotia，K.、Tillmann，N.、Harman，M.、de Halleux，J。 相关软件： 澳大利亚；CBMC；DART… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
曼蒂科尔 2份文件引用(2021) 软件作者： Mossberg，M.等人。 相关软件： 甲氰菊酯；Why3；solgraph… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
QSYM公司 1份文件引用(2023) 软件作者： Yun I、Lee S、Xu M、Jang Y、Kim T。 相关软件： github；内乌兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SymJS公司 1份文件引用(2017) 软件作者： Li，G.、Andreasen，E.、Ghosh，I。 相关软件： S3；Z3-str；通过… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MSeqGen公司 在0个文档中引用 软件作者： Suresh Thummalapenta；陶燮；尼古拉·蒂尔曼；乔纳森·德哈勒克斯（Jonathan de Halleux）；沃尔夫拉姆·舒尔特 相关软件： —— 主要字段： ——