皮克特 74份文件引用（1996年至2022年） 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
转发差异 28篇文献引用(2017–2023) 软件作者： Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件： 朱莉娅；github；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；Avraham Shinnar；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
Diamant工具箱 12份文件引用(2008–2019) 软件作者： 姚家川（Yao Koutsawa）；伊莎贝尔·沙彭蒂埃（Isabelle Charpentier）；El Mostafa Daya；穆罕默德·切尔考伊 相关软件： ADOL-C；雷普索迪亚；AD01… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
DG-FTLE公司 9份文件引用(2015–2024) 软件作者： 丹尼尔·尼尔森（Daniel A.Nelson）。；雅各布斯，古斯塔夫·B。 相关软件： PICIN；LAPACK；LCS工具 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；流体力学（76-XX）…
MetaKlaim公司 5份文件引用(2003–2020) 软件作者： Gianluigi法拉利；尤金尼奥·莫吉；罗萨里奥·普格利泽 相关软件： 克拉姆；克拉瓦；杰森… 主要字段： 计算机科学（68-XX）
钠8 5份文件引用(1995–2020) 软件作者： 克拉耶夫斯基，W。；Lepschy，A。；Redivo Zaglia，M。；美国维亚罗。 相关软件： 台阶式；Matlab公司 主要字段： 数值分析（65-XX）；系统论；控制（93-XX）
特征CFA 3份文件引用(2011–2012) 软件作者： 塔伦·帕布；Ramalingam，什里亚斯；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
迪亚曼拉布 2份文件引用(2018–2020) 软件作者： Isabelle Charpentier、Bruno Cochelin、Komlanvi Lampoh 相关软件： JDQZ；JDQR；Matlab… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
DORiE公司 在0个文档中引用 软件作者： 卢卡斯·里德尔；圣地亚哥·奥斯皮纳·德洛斯·雷奥斯；迪昂·哈夫纳；奥利·克莱因 相关软件： DUNE-随机场；FieldSim；RandomFields… 主要字段： –
创业板市场 1份文件引用(2019) 软件作者： Arens，S.、Dierckx，H.、Panfilov，A.V。 相关软件： 贞洁；OpenCarp；FEniCS… 主要字段： 偏微分方程（35-XX）；生物学和其他自然科学（92-XX）
HolPy公司 2份文件引用(2021–2024) 软件作者： 徐润清；李黎明；詹伯华 相关软件： mftoolbox；杆；CBench… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SAGE互动 2份文件引用(2016–2019) 软件作者： Razvan A.梅泽伊。 相关软件： SageMath公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LBMAT公司 1份文件引用(2023) 软件作者： 拉德克·富奇克；巴维尔·艾希勒；克林科夫斯克，雅库布；罗伯特·斯特拉卡（Robert Straka）；托马斯·奥伯胡贝尔 相关软件： GiNaC公司 主要字段： 数值分析（65-XX）
单峰归一化 1份文件引用（2020年） 软件作者： Joshua Schneider、Manuel Eberl、Andreas Lochbihler 相关软件： Isabelle/HOL；概率_素数_测试；密度编译器… 主要字段： 计算机科学（68-XX）