防抱死制动系统 引用于33份文件(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）…
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
三元组 16篇文献引用(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；烟雾；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-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）
BoogiePL公司 11份文件引用(2005–2020) 软件作者： DeLine，R.，Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
工厂 11份文件引用(2011–2020) 软件作者： 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件： 教会；IBAL；ProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
美赞臣 9份文件引用(2006–2019) 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
代码爬虫 6篇文献引用(2004–2011) 软件作者： 兰扎，M；杜卡斯，S。；加尔，H。；平兹格，M。 相关软件： Seesoft；CVS扫描；Vizz3D… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
羽毛特征 6篇文献引用(2008–2023) 软件作者： 路易吉·利库里；阿诺·斯皮瓦克 相关软件： 羽量级Java；JML；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（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）…
泄漏 3份文件引用(1994–2012) 软件作者： 安东尼奥·阿伦卡尔（Antonio J.Alencar）、约瑟夫·高根（Joseph A.Goguen） 相关软件： AGG；亨欣；凹槽… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M.（冯登，J.P.M.）。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
BYTESURGEON公司 2份文件引用(2006–2008) 软件作者： 马库斯·丹克（Marcus Denker）；Stéphane Ducasse；埃里克·坦特 相关软件： SmallJS；JavaScript；WhyLine… 主要字段： 计算机科学（68-XX）
接线盒 1份文件引用(2017) 软件作者： Jan Schäfer，Arnd Poetzsch-Heffter 相关软件： ArchJava；JavAdaptor；JCobox… 主要字段： 计算机科学（68-XX）
ABS-NET（防抱死制动系统-网络） 1份文件引用(2013) 软件作者： 卡尔·帕尔姆斯科格（Karl Palmskog）；Dam、Mads；安德烈亚斯·伦德布拉德；阿里·贾法里 相关软件： KryoNet；防抱死制动系统；和弦… 主要字段： 计算机科学（68-XX）