考德 23篇文献引用(2018–2023) 软件作者： Lanese，I.、Nishida，N.、Palacios，A.、Vidal，G。 相关软件： 埃尔朗；github；铲刀… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
崔弟 14篇文献引用(2016–2023) 软件作者： 蒂姆，M。 相关软件： DiArg；LARS；Clingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰瑞米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
考拉 10篇文献引用(2010–2013) 软件作者： 马丁·格布瑟（Martin Gebser）；格罗特、托尔斯滕；托尔斯滕·绍布 相关软件： CCalc；f2lp；Cplus2ASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
资产负债管理 8份文件引用(2012–2020) 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
PREGO公司 5份文件引用(2015–2020) 软件作者： Belle，V.，H.J.Levesque 相关软件： 博客；ProbLog；高尔夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ncHilb公司 2份文件引用(2017–2018) 软件作者： 罗伯托·斯卡拉（Roberto La Scala）；Tiwari，Sharwan K。 相关软件： 信纸；枫树；奇异… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）
牦牛牦牛 2份文件引用(2000–2009) 软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。 相关软件： YACC；野牛；MONA公司 主要字段： 计算机科学（68-XX）
百万铝 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利；儿子Tran Cao 相关软件： – 主要字段： 计算机科学（68-XX）
ParaCrawl公司 1份文件引用(2021) 软件作者： 米克·埃斯普拉·戈米斯、米凯尔·福卡达、杰玛·拉米雷斯-桑切斯、Hieu Hoang 相关软件： github；彗星；TensorFlow… 主要字段： 计算机科学（68-XX）
PolyChaos公司 在0个文档中引用 软件作者： Tillmann Mühlpfordt、Frederik Zahn、Veit Hagenmeyer、Timm Faulwasser 相关软件： UQTk；微分方程.jl；UQLab… 主要字段： –
VIFECO公司 在0个文档中引用 软件作者： Philippe Appareicio、David Maignan、Jérémy Gelb 相关软件： YOLO公司；车辆检测haarcascades；simple_vehicle_counting… 主要字段： –