伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
EasyLocal公司++ 32篇文献引用(2001–2022) 软件作者： Di Gaspero，L.，Schaerf，A公司 相关软件： 彗星；本地化人员；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
新加坡 38篇文献引用(2001–2022) 软件作者： M.J.霍尔斯特。 相关软件： APBS；FreeFem++；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CertiKOS公司 10篇文献引用(2017–2022) 软件作者： Gu，R.，Shao，Z.，Chen，H.，Wu，X.N.，Kim，J.，Sjöberg，V.，Costanzo，D。 相关软件： seL4；辅酶q；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
FEtk公司 6篇文献引用(2003–2013) 软件作者： 迈克尔·霍尔斯特；计算数学中心（CCoM） 相关软件： TMSmesh；PHG；SG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
细胞模拟 4份文件引用(2008–2014) 软件作者： 肖恩·塞德瓦兹（Sean Sedwards）、托马索·马扎（Tommaso Mazza） 相关软件： BlenX；COPASI；生物-PEPA 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
OpenFHE公司 5份文件引用(2023–2024) 软件作者： A.A.Badawi、J.Bates、F.Bergamaschi、D.B.Cousins、S.Erabelli、N.Genise、S.Halevi、H.Hunt、A.Kim、Y.Lee、Z.Liu、D.Micciancio、I.Quah、Y.Polyakov、S.R.V.、K.Rohloff、J.Saylor、D.Suponitsky、M.Triplett、V.Vaikuntanathan、V.Zucca、， 相关软件： TFHE；HElib；FHEW… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SYCL公司 5份文件引用(2020–2023) 软件作者： Khronos®集团公司。 相关软件： GitHub；OpenCL；卤化物… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BioStream公司 2份文件引用(2008–2020) 软件作者： Thies，William；约翰·保罗·乌尔班斯基（John Paul Urbanski）；托德·托德·托森（Todd Thorsen）；萨曼·阿马拉辛格 相关软件： COPASI；波特车轮；雏菊 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
深度PPI 4份文件引用(2019) 软件作者： X.Du、S.Sun、C.Hu等人。 相关软件： AlexNet；darch；GitHub… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CAPLib公司 3份文件引用(2000–2006) 软件作者： Leggett，P.F。；约翰逊，S.P。；克罗斯，M。 相关软件： CAPTools；MatWeb；SHMEM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
OpenCAL（打开CAL） 3份文件引用(2020–2022) 软件作者： 大卫·斯帕塔罗；多纳托·德安布罗西奥；阿莱西奥·德兰戈；等。 相关软件： CANv2；PYR；Kokkos… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
OTAWA公司 1份文件引用(2017) 软件作者： 巴拉布里加，克莱门特；Cassé，Hugues；克莉丝汀·罗切（Christine Rochange）；帕斯卡·塞恩拉特 相关软件： McAiT；CPA检查员；STP… 主要字段： 计算机科学（68-XX）
平行.lib 2份文件引用(2016–2021) 软件作者： A.斯坦帕。 相关软件： 单一；resolve.lib；homalg… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
方块模拟人生 1份文件引用(2021) 软件作者： Alharby M.、van Moorsel A。 相关软件： CLoTH公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
ExaStencils考试 2份文件引用(2022–2023) 软件作者： 克里斯蒂安·伦格尔（Christian Lengauer）；斯文·阿佩尔；博尔顿，马提亚斯；千叶、茂鲁；乌尔里奇吕德；Teich，Jürgen；阿明·格里格林格；Frank Hannig；哈拉尔德·科斯特勒；克劳斯、丽莎；亚历山大·格雷巴恩（Alexander Grebhahn）；格罗斯，斯特凡；斯特凡·克罗纳维特；库库克，塞巴斯蒂安；汉娜·瑞蒂奇；克里斯蒂安·施密特（Christian Schmitt）；乔纳斯·施密特 相关软件： ExaSlang；FESTUNG公司；帕拉博斯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）…
图形生成 1份文件引用(2023) 软件作者： K.Xirogiannopoulos、V.Srinivas、A.Deshpande 相关软件： 奈亚德；利格拉；图形螺栓… 主要字段： 计算机科学（68-XX）
蛋白石 1份文件引用(2014) 软件作者： Alan Fischer、Andres Reinot、Tyler Streeter；奥列克桑德·洛齐茨基 相关软件： 林多；优化测试环境；NEOS… 主要字段： 运筹学、数学规划（90-XX）
传奇故事 在0个文档中引用 软件作者： 古代尔，T。；Jha，S。；Kaiser，H。；Kielmann，T。；Kleijer，P。；冯·拉舍夫斯基，G。；Lee，C。；Merzky，A。；拉吉奇，H。；J·沙尔夫。 相关软件： 车灯；蟒蛇；NAMD… 主要字段： –
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
熟食店 1份文件引用(2002) 软件作者： 朱塞佩·德索利；尼古拉·马泰耶夫；伊芙琳·杜斯特瓦尔德；保罗·法拉博斯基（Paolo Faraboschi）；乔什·费舍尔 相关软件： MiBench公司 主要字段： 计算机科学（68-XX）