MC队列 163篇文献引用(2003–2024) 软件作者： 亨克·蒂杰姆斯 相关软件： github；R；EMpht… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
WSAT公司 29篇文献引用(2004–2019) 软件作者： 傅湘；布尔坦、特夫菲克；苏建文 相关软件： BPEL2PN；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
ITP公司 31份文件引用(2005–2023) 软件作者： Clavel，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
开花V 30篇文献引用(1999–2023) 软件作者： 弗拉基米尔·科尔莫戈罗夫 相关软件： Blossom IV；TSPLIB；LEDA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
检查围栏 18篇文献引用(2007–2018) 软件作者： Burckhardt，S.，Alur，R.，Martin，M.K。 相关软件： veriSoft；自旋蛋白；UMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DRED公司 17篇文献引用（2002年-2023年） 软件作者： 詹姆斯·埃维娅（James Aweya）；米歇尔·欧莱特（Michel Ouellette）；德尔芬·蒙图诺。 相关软件： ns-2；TISEAN公司 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
等负荷 11份文件引用（2001年至2020年） 软件作者： Ciardo，G。；A.里斯卡。；史密尼，E。 相关软件： J相；OMNet++；MCQueue… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
海狸 10篇文献引用(1991–2018) 软件作者： 詹姆斯·科恩。；赫克，P.L。 相关软件： 斯坦利布；Zimpl；CPLEX… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
数据传输协议 8份文件引用(2019–2022) 软件作者： 韩、柯；加布里埃尔·伊芙；特里·弗里斯。 相关软件： github；基因组学；Matlab公司 主要字段： 算子理论（47-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
获取RDS 8份文件引用(2015–2023) 软件作者： 阿劳伊，阿卜杜鲁哈布；阿雷兹基·齐乌伊；Ourbih-Tari，梅格杜达；阿利乌伊，阿明 相关软件： 获取LHS；Matlab；goRDS公司 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
M-Sim公司 3份文件引用(2008–2019) 软件作者： Joseph J.Sharkey、Dmitry Ponomarev、Kanad Ghose 相关软件： 简单标尺；JFlow；提升… 主要字段： 计算机科学（68-XX）
喷洒列表 5份文件引用(2017–2021) 软件作者： Dan Alistarh、Justin Kopinsky、Jerry Li、Nir Shavit 相关软件： CBPQ；数据集；Hillview… 主要字段： 计算机科学（68-XX）
KDTREE公司 4份文件引用(2011–2021) 软件作者： 马修·B·犬舍 相关软件： github；PRMLT；Voro++… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）…
Q-MAM公司 4份文件引用(2012–2017) 软件作者： J.F.Pérez、J.Van Velthoven、B.Van Houdt 相关软件： SMCSolver；YALMIP；抄送… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
排队计算机 1份文件引用(2024) 软件作者： 安东尼·埃伯特（Anthony Ebert）、保罗·吴（Paul Wu）、凯里·蒙格森（Kerrie Mengersen）、法布里奇奥·鲁杰里（Fabrizio Ruggeri） 相关软件： R；dplyr；SimPy… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
CBPQ公司 3份文件引用(2016–2021) 软件作者： 阿纳斯塔西亚·布拉金斯基；科恩，纳赫松；埃雷兹·彼得兰克 相关软件： 喷洒列表 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
获取LHS 3份文件引用(2019–2023) 软件作者： 梅里姆·布巴鲁；Ourbih-Tari，梅格杜达；阿劳伊，阿卜杜鲁哈布；阿雷兹基·齐乌伊 相关软件： 获取RDS；Matlab；goRDS公司 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
模拟活动 2份文件引用(2009–2019) 软件作者： 迈斯沃克 相关软件： Matlab；UMDES；Simulink… 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
SLV公司 2份文件引用(2016–2019) 软件作者： 伊莱亚斯·齐加里达斯 相关软件： 枫树；ANewDsc；微小的… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
Java统计 2份文件引用(2009–2013) 软件作者： E.詹姆斯·哈纳（E.James Harner）；罗大杰；Tan，Jun先生 相关软件： R；代码工具；truncdist… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
网络数据结构 2份文件引用(2012–2013) 软件作者： Goodrich，M.、Tamassia，R.、Zamore，E。 相关软件： jPET；ACE；BoogiePL… 主要字段： 计算机科学（68-XX）
QNAT公司 1份文件引用(2001) 软件作者： 科尔，H.T。；Manjunath，D。；Bose，S.K.公司。 相关软件： SPNP；MersenneTwister；莫比乌斯… 主要字段： 计算机科学（68-XX）
投掷 1份文件引用(2014) 软件作者： 王丹瑶；Lo，Charles；贾斯米娜·瓦西尔耶维奇（Jasmina Vasiljevic）；纳塔莉·恩里特·杰格尔（Enright Jerger）；杰·格雷戈里·斯蒂芬 相关软件： SICOSYS公司；哈西姆；SimFlex… 主要字段： 信息与通信理论，电路（94-XX）
FBS公司 1份文件引用(2001) 软件作者： 费米实验室；Breitung，M。；弗洛姆，J。；Levshina，T。；曼德里琴科，I。；M.施韦策。 相关软件： FIPC公司 主要字段： 计算机科学（68-XX）
FIPC公司 1份文件引用(2001) 软件作者： 费米实验室；Breitung，M。；弗洛姆，J。；Levshina，T。；曼德里琴科，I。；M.施韦策。 相关软件： FBS公司 主要字段： 计算机科学（68-XX）
加洛瓦 1份文件引用(2023) 软件作者： 贾塔拉，V。；Dathathri，R。；吉尔·G。；Hoang，L。；南迪瓦达，V.K。；Pingali，K。 相关软件： IGA-ADS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）
单队列系统 1份文件引用(2016) 软件作者： Yang，Kum Khiong；卡伊里，图格巴；低，Joyce M.W。 相关软件： —— 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SPN2MGM公司 1份文件引用(2006) 软件作者： B.R.哈维尔科特 相关软件： SPNP；MGM工具；MOSEL… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
tomoRecon公司 1份文件引用(2016) 软件作者： 里弗斯，M.L。 相关软件： SPGL1；Matlab；TVR-DART… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）