MIM公司 137篇文献引用(1995–2024) 软件作者： 大卫·爱德华兹 相关软件： 玻璃；TETRAD公司；R、 … 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
竞争 22篇文献引用(2010–2022) 软件作者： A.泰勒；D.J.海姆 相关软件： 测试矩阵；mftoolbox；稀疏矩阵… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
YOGI公司 13份文件引用(2010–2022) 软件作者： Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Aditya V.Thakur 相关软件： z3；投掷；可爱… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
图论 9份文件引用（2005年至2021年） 软件作者： 易卜拉希米、穆罕默德·阿里；穆罕默德·盖布勒；贾瓦迪、马赫迪；迈克尔·莫纳根（Michael Monagan）；艾伦·威特科普夫 相关软件： 枫树；EVALPSN；nauty… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
罗恩 5份文件引用(2013–2019) 软件作者： 杨郑荣、丽贝卡·汤姆森、菲利普·麦克尼尔、罗伯特·埃斯努夫 相关软件： IUPred；全局图；FoldUnfold… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GRP测试 2份文件引用(2020–2023) 软件作者： 贾纳·扬科娃；Rajen D.Shah。；彼得·伯尔曼；理查德·萨姆沃思。 相关软件： XGBoost；glmnet；R（右） 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
SymJS公司 1份文件引用(2017) 软件作者： Li，G.、Andreasen，E.、Ghosh，I。 相关软件： S3；Z3-str；通过… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
VOWL（沃尔） 2份文件引用(2017) 软件作者： Lohmann，S.、Negru，S.，Haag，F.、Ertl，T。 相关软件： 超防；SOVA；Speedith… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HyDiff（透明度差异） 1份文件引用(2023) 软件作者： 诺勒，亚尼克；科琳娜·帕萨雷努（Corina S.Pasareanu）。；马塞尔·伯赫梅；孙友成；阮、黄林；拉尔斯·格伦斯克 相关软件： GitHub；纽兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –