可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
RM-MEDA公司 31份文件引用(2010–2022) 软件作者： 张庆福；周爱民；金耀初 相关软件： MOEA/D；SPEA2；HypE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达尔科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GKLEE公司 在11份文件中引用(2013–2022) 软件作者： 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件： CUDA；GPU验证；OpenCL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PathCrawler（路径爬行器） 5份文件引用(2008–2021) 软件作者： Nicky Williams、Bruno Marre、Patricia Mouy、Muriel Roger 相关软件： 可爱的；投掷；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
F外壳 6篇文献引用（2010年至2016年） 软件作者： 安德烈亚斯·霍尔泽（Andreas Holzer）；克里斯蒂安·夏尔哈特；迈克尔·陶奇尼格（Michael Tautschnig）；赫尔穆特·维思 相关软件： Java路径查找器；注册会计师检查；RapiTime… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
seqCBS公司 7份文件引用(2012–2023) 软件作者： Jeremy J.Shen、Nancy R.Zhang 相关软件： glmnet；半标准杆；Pindel… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；天文学和天体物理学（85-XX）…
卡萨尔 5份文件引用(2012–2022) 软件作者： 彼得·布利切夫（Peter Bulychev）；亚历山大·戴维；古德斯特兰·拉森（Kim Guldstrand Larsen）；Legay，Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳 相关软件： Uppaal；UPPAAL TIGA；APMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
温迪 3份文件引用(2011–2020) 软件作者： 尼尔斯·洛曼；丹妮拉·温伯格 相关软件： BPEL2oWFN；洛托斯；沃夫兰… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
汽车MOTGen 4份文件引用(2009–2021) 软件作者： Ambar A.Gadkari；阿南·耶奥利卡尔（Anand Yeolekar）；J.Suresh；S.Ramesh；Swarup Mohalik；K.C.沙希达尔 相关软件： PHAVer；Simulink；Dymola… 主要字段： 计算机科学（68-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
NAT2测试 4份文件引用(2016–2023) 软件作者： 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件： FDR3；Z；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
萨摩亚2 4份文件引用(2017–2020) 软件作者： 奥利弗·梅斯特（Oliver Meister）；卡维·拉内马；迈克尔·巴德 相关软件： GEOCLAW公司；森林爪；皮诺… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
诺波尔 1份文件引用(2023) 软件作者： J.Xuan、M.Martinez、F.DeMarco、M.Clement、S.L.Marcate、T.Durieux、D.Le Berre、M.Monperrus 相关软件： 缺陷4J；ASTOR；先知… 主要字段： 计算机科学（68-XX）
DR_HAWT（拖车） 1份文件引用(2016) 软件作者： K.Lee Slew、M.Miller、A.Fereidooni、P.Tawagi、G.El-Hage、M.Hou、E.Matida 相关软件： XFOIL；ParaView视图 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
JUGE公司 在0个文档中引用 软件作者： 泽维尔·德夫罗伊（Xavier Devroey）、阿莱西奥·甘比（Alessio Gambi）、胡安·巴勃罗·加莱奥蒂（Juan Pablo Galeotti）、勒内·贾斯特（Rene Just）、菲苏姆·基费图（Fitsum Kifetew）、安妮贝尔·帕尼切拉（An 相关软件： EvoSuite软件；JUnit公司；缺陷4J… 主要字段： –
Paracosm公司 在0个文档中引用 软件作者： Rupak Majumdar；阿曼·马图尔；马库斯·皮伦；劳拉·斯坦纳；达米安·祖弗里 相关软件： 基蒂；GitHub；imgage… 主要字段： 计算机科学（68-XX）
普鲁托 1份文件引用(2022) 软件作者： Das，Rajdeep；乌迈尔·艾哈迈德（Umair Z.Ahmed）。；艾美·卡卡；苏米特·古尔瓦尼 相关软件： 安吉利克斯；MACER；独眼巨人… 主要字段： 计算机科学（68-XX）
TDBS公司 1份文件引用(2008) 软件作者： 阿尼斯·库布（Anis）；安德雷·库尼亚；Alves，M'ario；爱德华多·托瓦尔 相关软件： I.P.P.公司。 主要字段： 计算机科学（68-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –
十亿立方米 1份文件引用(2023) 软件作者： 张崇林；杰瑞特·戴蒙德；卡梅隆·W·史密斯。；谢泼德（Mark S.Shephard）。 相关软件： PUMIPic公司；Kokkos公司；PETSc公司 主要字段： 流体力学（76-XX）；天文学和天体物理学（85-XX）