ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Multilisp公司 31份文件引用(1985–2022) 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
微CRL 在24份文件中引用（2001年至2022年） 软件作者： 斯特凡·布洛姆；Wan Fokkink；Groote，Jan Friso；伊扎克·范·朗格沃尔德；伯特·利瑟 相关软件： Uppaal；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）…
帕斯卡-SC 27篇文献引用(1984–2016) 软件作者： 鲍伦德（Gerd Bohlender）；克里斯蒂安·乌尔里奇；沃尔夫·冯·古登堡（Wolff von Gudenberg，Jürgen）；路易·B·拉尔。 相关软件： 杰克；枫树；DiffSharp… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
女主人 21篇文献引用（2004年至2021年） 软件作者： 保罗·卡斯蒂略（Paul Castillo）；Robert Rieben；丹尼尔·怀特 相关软件： 交易.ii；libMesh；PETSc… 主要字段： 全局分析，歧管分析（58-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
福克斯 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
续订 在16份文件中引用(2004–2022) 软件作者： 奥拉夫·库默；弗兰克·温伯格（Frank Wienberg）；迈克尔·杜维涅奥（Michael Duvigneau）；乔恩·舒马赫；迈克尔·科勒；丹尼尔·莫尔特；Rölke，Heiko；吕迪格·瓦尔克 相关软件： libDDD；莫德；LoLA… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SMV公司 在13份文件中引用(1986–2018) 软件作者： 埃德·克拉克；K.L.麦克米兰；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
RAST公司 4份文件引用(2012–2019) 软件作者： Meyer F、Paarmann D、D’Souza M等人 相关软件： KEGG；梅根；爆炸… 主要字段： 一般性和全局性主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
模糊的 7份文件引用(1985–2017) 软件作者： 托马斯·莱曼；雅克·勒克斯 相关软件： Nuprl；LCF；曼蒂萨… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；动力系统和遍历理论（37-XX）…
确认 4份文件引用(1980–1994) 软件作者： Erickson，R.W。；D.R.穆瑟。 相关软件： RRL；泰克顿；NQTHM… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
工艺品 4份文件引用(2011–2022) 软件作者： 伊万·波利亚科夫；丹尼尔·索科洛夫；安德烈·莫霍夫 相关软件： VipTool；基因；石化… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
拉克威特 4份文件引用(2000–2012) 软件作者： 奥卡拉汉，R.W。；D.杰克逊。 相关软件： 解释；STP；ASTREE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
CHAD（查德） 3份文件引用(2022–2023) 软件作者： 瓦卡，马提伊斯；汤姆·斯米丁 相关软件： 提灯；效率；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
DTRE公司 3份文件引用(1993–2015) 软件作者： Lee Blaine、Allen Goldberg 相关软件： OCaml；孩子们；菲亚特… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
泄漏 3份文件引用(1994–2012) 软件作者： 安东尼奥·阿伦卡尔（Antonio J.Alencar）、约瑟夫·高根（Joseph A.Goguen） 相关软件： AGG；亨欣；凹槽… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
NuMDG公司 2份文件引用(2011–2012) 软件作者： 阿贝德，赛义德；亚辛·莫赫塔里；艾特·穆罕默德（Ait-Mohamed），奥特曼（Otmane）；索菲涅·塔哈尔 相关软件： Velev SAT基准；NuSMV公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
Simpl公司 2份文件引用(2013–2017) 软件作者： 玛格斯·弗洛伊登塔尔 相关软件： Xtext；ANTLR；MetaEdit+… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
TRAM公司 2份文件引用(1997–2014) 软件作者： 绪方，Kazuhiro；Masaru Kondo；Ioroi，Shigenori；高基町五指 相关软件： OBJ咖啡馆；莫德；CITP… 主要字段： 计算机科学（68-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
CRDT公司 1份文件引用（2020年） 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆利根（Dominic P.Mulligan）；阿拉斯泰尔·贝雷斯福德 相关软件： github；存档正式证据；布吉 主要字段： 计算机科学（68-XX）
元模型Isabelle 1份文件引用(2016) 软件作者： Tuong神父；伯克哈特·沃尔夫 相关软件： Coq；Isabelle/HOL；密度编译器… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）