RSVM公司 51篇文献引用(2004–2023) 软件作者： Yuh-Jye Lee，Olvi L.Mangasarian先生 相关软件： UCI-ml；LIBSVM；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JUnit公司 16篇文献引用（2002年至2022年） 软件作者： Yoonsik Cheon；Gary T.Leavens。 相关软件： JML；艾菲尔铁塔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
测试时代 16篇文献引用(2002–2020) 软件作者： 马里诺夫，D；库尔希德，南 相关软件： 科拉特；Symstra公司；TACO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡里姆·A·萨卡拉。 相关软件： MiniSat；MUSer2；HMQV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
TorX公司 16篇文献引用（2005年至2021年） 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
GKLEE公司 在11份文件中引用(2013–2022) 软件作者： 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。 相关软件： CUDA；GPU验证；OpenCL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DeepXlore公司 9份文件引用(2019–2023) 软件作者： 裴可欣、曹银芝、杨俊峰、贾苏曼 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
蛋白石 在11份文件中引用(2011–2023) 软件作者： 查尔斯·奥德特（Charles Audet）；Dang，Kien-Cong；多米尼克·奥尔班 相关软件： NOMAD公司；切割机；12月6日… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
飞行员 8份文件引用(1989–2018) 软件作者： A.V.舒托夫。 相关软件： SERBA；REPSN；正交框架… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
RAI代码 8份文件引用(2009–2019) 软件作者： Yehezkel，Raanan；波阿斯·勒纳 相关软件： TETRAD公司；BNT；pcalg… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
VACID-0型 7份文件引用(2011–2021) 软件作者： 莱诺，K.R.M.，莫斯卡尔，M。 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
先知 4份文件引用(2017–2023) 软件作者： 长，扇形；马丁·里纳德 相关软件： SemFix；安吉利克斯；缺陷4J… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
温迪 引用于3份文件(2011–2020) 软件作者： 尼尔斯·洛曼；丹妮拉·温伯格 相关软件： BPEL2oWFN；洛托斯；沃夫兰… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
联邦应急管理委员会 2份文件引用(2003–2015) 软件作者： 克劳斯·霍利格（Klaus Höllig）、约格·霍纳（Jörg Hörner） 相关软件： – 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
围栏R13 引用于3份文件(2021–2023) 软件作者： 泰森，兰伯特；曼纽尔·托里伦 相关软件： FEniCS；网格地图；JDQR… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
SBML测试套件 1份文件引用(2015) 软件作者： Sarah Keating、Michael Hucka、Lucian P.Smith、Frank T.Bergmann、Bruce Shapiro、Thomas W.Evans、Colin S.Gillespie、Darren J.Wilkinson、Brett Olivier、Andrew Finney 相关软件： SBMLSim；sbtoolbox；Sostools… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
爱丽丝 2份文件引用(2014–2018) 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；烟尘；PPL… 主要字段： 计算机科学（68-XX）
CAVA公司 2份文件引用(2018–2019) 软件作者： 朱利安·布伦纳；彼得·拉姆米奇；等。 相关软件： 石笼SCC；CAVA LTL模型检查器；存档正式证据… 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
BetaVoid公司 1份文件引用(2016) 软件作者： Jae-Kwan Kim、Youngsong Cho、Roman A.Laskowski、Seong Eon Ryu、Kokichi Sugihara、Deok-Soo Kim 相关软件： QTFier；BetaConcept；BetaSCPWeb… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA 相关软件： 罗丹；GitHub；核心ASM… 主要字段： 计算机科学（68-XX）
Java通用作战图 在0个文档中引用 软件作者： Markstrum，S。；马里诺，D。；Esquivel，M。；Millstein，T。；安德烈，C。；J·诺布尔 相关软件： MJ；甲骨文；塞西尔… 主要字段： –
概率_素数_测试 1份文件引用(2020) 软件作者： 丹尼尔·施杜威（Daniel Stüwe）；曼纽尔·埃贝尔 相关软件： Isabelle/HOL；单峰归一化；密度编译器… 主要字段： 计算机科学（68-XX）
sk_p公司 在0个文档中引用 软件作者： Yewen Pu、Karthik Narasimhan、Armando Solar Lezama、Regina Barzilay 相关软件： 深度修复；MOOC；PHOG… 主要字段： –
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： –