口齿不清 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GHC公司 96篇文献引用(1992–2021) 软件作者： Jones，Simon Peyton；西蒙·马洛 相关软件： 哈斯克尔；毫升；OCaml… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
Coq/SS反射 74份文件引用(2008–2021) 软件作者： Microsoft Research-Inria联合中心 相关软件： Coq；Isabelle/HOL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
CHARMS公司 35篇文献引用(2002–2022) 软件作者： Krysl，P。 相关软件： ISOGAT；阿巴夸斯；Diffpack… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
息肉 引用于33份文件(1999–2012) 软件作者： 詹森，P。；J·杰林。 相关软件： 哈斯克尔；Stratego；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
MiniAgda公司 11份文件引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
跟踪器 10篇文献引用(1995–2023) 软件作者： 马提亚斯·贾明；马库斯·劳滕巴赫 相关软件： Mathematica；表格；FeynCalc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
APFEL公司 8份文件引用(2014–2022) 软件作者： 瓦莱里奥·伯顿；卡拉扎、斯特凡诺；胡安·罗霍 相关软件： QCDNUM16；LHAPDF；ffevol1.0… 主要字段： 量子理论（81-XX）
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
阿美石油公司 7份文件引用(2017–2020) 软件作者： Jasmin Christian布兰切特；Bouzy，艾默尔；安德烈亚斯·洛赫比勒；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；精益；Paco… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
SERK2v3系列 8份文件引用(2016–2020) 软件作者： Kleefeld，B。；马丁·瓦奎罗，J。 相关软件： SERK2；RKC；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Coquet公司 6篇文献引用(2011–2021) 软件作者： 托马斯·布雷班特 相关软件： Coq；熔岩；卡米… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EPCBC公司 6篇文献引用(2011–2017) 软件作者： Yap、Huihui；Khoo、Khongming；阿克塞尔·波希曼；马特·亨里克森 相关软件： SageMath；SPECK；西蒙… 主要字段： 运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
CHFACT公司 5份文件引用(1993–2017) 软件作者： J.Gondzio。 相关软件： HOPDM；MA27；symrcm… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；数学教育（97-XX）
FC公司++ 5份文件引用(2002–2011) 软件作者： 布莱恩·麦克纳马拉（Brian McNamara）；亚尼斯·斯马拉格达基斯 相关软件： STL；Lambda库C++；Python… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
跳跃 5份文件引用(2010–2019) 软件作者： Manuel Serrano、Erick Gallesio、Florian Loitsch 相关软件： 链接；用户/网络；哈斯克尔… 主要字段： 计算机科学（68-XX）
高效JetMarcher 4份文件引用(2022–2024) 软件作者： 尼古拉斯·帕斯卡尔（Nicholas Paskal）；玛丽亚·卡梅隆 相关软件： github；libeikonal；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
阿博加斯特 3份文件引用(2018–2019) 软件作者： 伊莎贝尔·沙彭蒂埃（Isabelle Charpentier）；Jens Gustedt公司 相关软件： DLMF；算法916；HOAD_MathFun… 主要字段： 实函数（26-XX）；复变量函数（30-XX）；特殊功能（33-XX）…
FTI公司 3份文件引用(2016–2022) 软件作者： 考夫曼，R。；Lim，H。；詹姆斯·格利姆 相关软件： HE-E1GODF公司 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）…
战术计算机++ 3份文件引用(2008–2018) 软件作者： Voßbeck，迈克尔；Giering，拉尔夫；托马斯·卡明斯基 相关软件： TAF；Matlab；ALIF… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
奉献 2份文件引用（2021年-2023年） 软件作者： Schiano Di Cola，Vincenzo；萨尔瓦多科莫；杰拉尔多·塞韦里诺 相关软件： 蟒蛇；AmgX；菲比… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DORiE公司 在0个文档中引用 软件作者： 卢卡斯·里德尔；圣地亚哥·奥斯皮纳·德洛斯·雷奥斯；迪昂·哈夫纳；奥利·克莱因 相关软件： DUNE-随机场；FieldSim；RandomFields… 主要字段： ——
创业板市场 1份文件引用(2019) 软件作者： Arens，S.、Dierckx，H.、Panfilov，A.V。 相关软件： 贞洁；OpenCarp；FEniCS… 主要字段： 偏微分方程（35-XX）；生物学和其他自然科学（92-XX）
HOAD_运动乐趣 2份文件引用(2016–2018) 软件作者： 伊莎贝·沙彭蒂埃 相关软件： DLMF；阿博加斯特；狂犬病… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
拟Borel空间 2份文件引用(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
基于集合的梯度 1份文件引用(2023) 软件作者： 克劳迪娅·席林斯；克劳迪娅·托泽克；菲利普·沃克 相关软件： DFO-GN；carData；IMFIL… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）…
功能C 1份文件引用(2019) 软件作者： Kevin R.Green。；Tanner A.Bohn。；雷蒙德·斯皮特里。 相关软件： github；贞洁；PyCml… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
HBOQ（14）4 1份文件引用（2008年） 软件作者： Nguyen、Ba Truong；菲利普·夏普（Philip W.Sharp）。；雷米·瓦兰库尔 相关软件： Matlab；代码113 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
兰伯特WDDE 1份文件引用(2014) 软件作者： 易、孙；段世明；帕特里克·W·纳尔逊。；Ulsoy，A.加利普 相关软件： Matlab；示踪-DDE；DDE-BIFTOOL工具 主要字段： 系统论；控制（93-XX）
内乌兹 1份文件引用(2023) 软件作者： 她，东东；裴可欣；戴夫·爱泼斯坦；杨俊峰；雷，白沙基；苏曼·贾纳 相关软件： github；FuzzGen；DifFuzz… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PyCG公司 在0个文档中引用 软件作者： Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件： ast；守门人；合成码… 主要字段： ——