反链 34份文件引用(2006–2022) 软件作者： De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件： MONA；HIP；旋转… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
马蒂斯 34份文件引用(2007–2022) 软件作者： 安托万·吉拉德；乔治·帕帕斯。 相关软件： 高科技；PHAVer；SpaceEx… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·德维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
比特币 引用于7份文件(2003–2014) 软件作者： 托米·哈卡宁 相关软件： Intcox；裂隙；bayesSurv… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）
GLoBES公司 5份文件引用(2014–2023) 软件作者： Patrick Huber、Joachim Kopp、Manfred Lindner、Walter Winter 相关软件： SNOwGLoBES；SciPy；数字标识… 主要字段： 几个复变量与解析空间（32-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）…
修补程序类型 5份文件引用(2003–2010) 软件作者： Michael Y.莱文。；本杰明·皮尔斯。 相关软件： 毫升；OCaml；Ott… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
利米 4份文件引用(2015–2019) 软件作者： 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列昂尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 相关软件： 利斯；CBMC；SymDiff… 主要字段： 计算机科学（68-XX）
利斯 4份文件引用(2015–2019) 软件作者： 乔恩，《Pavol作者简介》；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列奥尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 相关软件： 利米；CBMC；SymDiff… 主要字段： 计算机科学（68-XX）
节点IO 1份文件引用(2017) 软件作者： Merelo-Guervos J.J.、Valdez M.G.、Castillo P.A.、Sanchez P.G.、de las Cuevas P.、Rico N。 相关软件： 节点.js；asm.js；ComcuteJS… 主要字段： 计算机科学（68-XX）
PowerSimulationsDynamics.jl软件 在0个文档中引用 软件作者： Jose Daniel Lara；亨里克·奥巴（Henriquez-Auba），罗德里戈（Rodrigo）；马修·博萨特（Matthew Bossart）；Callaway，Duncan S。；克莱顿·巴罗斯 相关软件： 安迪斯；PowerSystems.jl；微分方程.jl… 主要字段： –