中国保监会 43篇文献引用(2007–2023) 软件作者： 多雷尔·卢卡努；Goriac，Eugen-Ioan；乔治亚娜·卡尔泰斯；格里高·罗什乌 相关软件： 莫德；OBJ咖啡馆；CASL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
杜芬伴随物 18篇文献引用(2020–2024) 软件作者： 米图什，S。；Funke，S。；J.多肯。 相关软件： FEniCS；github；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
菲亚特 17篇文献引用（2015年至2022年） 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： Coq；Isabelle/HOL；CertiCoq… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
孩子们 在11份文件中引用(1992–2021) 软件作者： D.R.史密斯 相关软件： 定理；ALISA；TAMPR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
CrashDSE（崩溃DSE） 5份文件引用(2012–2020) 软件作者： 马库斯·胡贝尔。；马里奥·米特 相关软件： Mathematica；FormTracer；表格… 主要字段： 差分方程和函数方程（39-XX）；量子理论（81-XX）
奥迪 2份文件引用(2012–2023) 软件作者： 达里奥·伊佐；弗朗西斯科·比斯卡尼 相关软件： gmp；CGP；Python… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
cbcbeat公司 2份文件引用(2020) 软件作者： 玛丽·罗杰斯（Marie E.Rognes）、帕特里克·法雷尔（Patrick E.Farrell）、西蒙·芬克（Simon W.Funke）、约翰·哈克（Johan E.Hake）、莫莉·马利卡（Molly M.C.Maleckar） 相关软件： FEniCS；蟒蛇；GEMS… 主要字段： 偏微分方程（35-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
夸蒂 4份文件引用(2014–2023) 软件作者： Vivek Nigam；Reis，Giselle；莱昂纳多·利马 相关软件： 混合的；github；红杉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
蒂皮 4份文件引用(2013–2019) 软件作者： 杰西·阿拉玛 相关软件： MiniSat；佩斯卡；梅斯4… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch；朱莉娅… 主要字段： 计算机科学（68-XX）
LogAnswer（日志应答） 2份文件引用(2008) 软件作者： 乌尔里希·富巴赫；英戈·格里克纳；赫尔曼·赫尔比格；佩尔泽，比约恩 相关软件： E-KRHper；WordNet；Abella… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ADHO公司 2份文件引用(2012–2021) 软件作者： 刘银平；廖世军；李志斌 相关软件： 枫树 主要字段： 代数拓扑（55-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
求解电流（_S） 2份文件引用(2014–2023) 软件作者： Kaier Wang、Moira L.Steyn-Ross、D.Alistair Steyn-Ros、Marcus T.Wilson 相关软件： 枫树 主要字段： 偏微分方程（35-XX）；动力系统和遍历理论（37-XX）
马迪斯 1份文件引用(2022) 软件作者： 卢德米拉·普罗科佩娃（Ludmila J.Prokopeva）。；塞缪尔·皮纳（Samuel Peana）；亚历山大五世（Alexander V.Kildeshev）。 相关软件： Matlab公司 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；变分法与最优控制；优化（49-XX）…