凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
防抱死制动系统 32篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
红宝石 22篇文献引用(2002–2017) 软件作者： 弗拉纳根，D。；松本，Y。 相关软件： 蟒蛇；JavaScript；PERL… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼肯（Richard Bonichon）；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
半人马座 19份文件引用(1991–2022) 软件作者： Borras，P.、Clément，D.、Despeyroux，Th.、Incerpi，J.、Kahn，G.、Lang，B.、Pascual，V、 相关软件： K校准仪；Coq；莫德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
依偎 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SYROCO公司 8份文件引用(1996–2007) 软件作者： Sibertin-Blanc，C。 相关软件： 设计/CPN；GreatSPN 1.7；GreatSPN… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
崇拜者 3份文件引用（2001年-2010年） 软件作者： 马丁·格林茨（Martin Glinz）；斯特凡·伯纳（Stefan Berner）；斯特凡·乔斯 相关软件： DiaGen；AToM3；ASTRAL公司 主要字段： 计算机科学（68-XX）
CCUBE公司 4份文件引用(1997–2013) 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；德代尔… 主要字段： 计算机科学（68-XX）
CDOL公司 4份文件引用(1997–2002) 软件作者： 苏珊·厄本（Susan D.Urban）。；卡拉迪姆（Anton P.Karadimce）。；苏珊娜·戴特里希（Suzanne W.Dietrich）。；阿卜杜拉提夫（Abdellatif），陶菲克·本（Taoufik Ben）；Chan，Hon Wai Rene先生 相关软件： – 主要字段： 计算机科学（68-XX）
澄清器 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；ACSL… 主要字段： 凸几何和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
收藏 4份文件引用(2012–2019) 软件作者： Peter Lammich、Andreas Lochbihler、Thomas Tuerk 相关软件： 存档正式证据；Isabelle/HOL；Gabow SCC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
POOSL公司 3份文件引用（2003年至2022年） 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
视频 2份文件引用（2016年至2019年） 软件作者： Oetsch，Johannes；普尔，约格；塞德尔，马蒂娜；汉斯·托姆皮茨（Hans Tompits）；帕特里克·兹维克 相关软件： 平滑；APE；辐条… 主要字段： 计算机科学（68-XX）
视觉 2份文件引用(2000–2001) 软件作者： Alexandru Telea；贾克·范·威克 相关软件： SCIRun；LAPACK；Diffpack… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
ADL2（ADL2） 2份文件引用(1995–2001) 软件作者： Masaharu Obayashi；久保田；Shane P.McCarron；莱昂内尔·马勒 相关软件： 广告牌 主要字段： 计算机科学（68-XX）
德尔塔J 2份文件引用(2018) 软件作者： Koscielny，J.、Holthusen，S.、Schaefer，I.、Schulze，S.和Bettini，L.、Damiani，F。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
OOMPI公司 1份文件引用(2006) 软件作者： McCandless BC、Squires JM、Lumsdaine A。 相关软件： 磁粉探伤 主要字段： 数值分析（65-XX）；流体力学（76-XX）
NeMo公司+ 1份文件引用(2017) 软件作者： Shvetsov，I.、Telerman，V.、Ushakov，D。 相关软件： InC++；JGloptLab；进入PT_90… 主要字段： 数值分析（65-XX）
PKBUGS公司 1份文件引用(2009) 软件作者： D.J.Lunn、J.Wakefield、A.Thomas、N.Best、S.David 相关软件： DismapWin；非MEM；Mixmod… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
pyGPS 1份文件引用(2015) 软件作者： 马里恩·诺伊曼（Marion Neumann）；黄珊；Daniel E.Marthaler。；克里斯蒂安·凯斯廷 相关软件： 蟒蛇；GPy；GPML… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）