CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；西法基斯，J。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
MS SQL服务器 64篇文献引用(1998–2021) 软件作者： 微软 相关软件： 神谕；DB2；XPath… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
莫塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；科伦巴尼·Y、海普克·S。 相关软件： 快速表达；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
乔坎尔 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
德莱德 15篇文献引用(2009–2024) 软件作者： Isard，M。；布迪乌，M。；Yu，Y。；Birrell，A。；费特利，D。 相关软件： MapReduce；Hadoop；火花… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
皮科拉 16篇文献引用(1999–2017) 软件作者： 弗兰茨·阿赫尔曼（Franz Achermann）；马库斯·隆佩；施耐德，Jean-Guy；奥斯卡·尼尔斯特拉斯 相关软件： 里奥；琳达；图片… 主要字段： 计算机科学（68-XX）
排队 14篇文献引用(2011–2023) 软件作者： Burckhardt，S.、Dern，C.、Musuvathi，M.、Tan，R。 相关软件： 自旋蛋白；龙胆；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GAMER公司 在11份文件中引用(2011–2023) 软件作者： 希夫、H.Y.、蔡、Y.C.、Chiueh、T。 相关软件： RAMSES公司；帕拉梅什；闪烁… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
冲刺 9份文件引用(2007–2010) 软件作者： 约翰·考克斯、克里斯托夫·德诺夫、巴特·范霍夫和理查德·斯塔尔 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
丽贝卡 8份文件引用(2010–2022) 软件作者： 穆罕默德·马赫迪·贾古奥里；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦加尔 相关软件： Uppaal公司；甲酚；定时丽贝卡… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
积极主动 6篇文献引用(2002–2019) 软件作者： Inria Sophia Antipolis公司 相关软件： AmbientTalk；防抱死制动系统；甲酚… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
FireWorks公司 1份文件引用(2023) 软件作者： Jain，A。；Ong，S.P。；Chen，W。；Medasani，B。；曲，X。；科彻，M。；布拉夫曼，M。；彼得雷托，G。；里格纳内斯语，G.-M。；Hautier，G。；Gunter，D。；佩尔松，K.A。 相关软件： AiiDA公司；蟒蛇；脓毒症… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
IC2D接口 5份文件引用(2001–2015) 软件作者： 法国波德；亚历山大·贝格尔；丹尼斯·卡罗梅尔（Denis Caromel）；Huet、Fabrice；纳诺，奥利维尔；朱利安·维西埃 相关软件： 积极主动；AmbientTalk；JCobox… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
基因 6篇文献引用(2012–2023) 软件作者： Carmona，J.、Cortadella，J.和Kishinevsky，M。 相关软件： 石化；红矿工；VipTool… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
接入/CPN 3份文件引用(2010–2014) 软件作者： Michael Westergaard；克里斯滕森，拉尔斯·迈克尔 相关软件： CPN/工具；清爽；PeCA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CoopnBuilder公司 4份文件引用(1990–2011) 软件作者： 阿里·萨比比；Buchs、Didier；马修·布福；斯坦尼斯拉夫·查奇科夫；陈，昂；大卫·赫泽勒 相关软件： 莫德；PNML；阿尔皮纳 主要字段： 计算机科学（68-XX）
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
喷洒列表 5份文件引用(2017–2021) 软件作者： Dan Alistarh、Justin Kopinsky、Jerry Li、Nir Shavit 相关软件： CBPQ；数据集；Hillview… 主要字段： 计算机科学（68-XX）
PMSat公司 4份文件引用(2009–2015) 软件作者： Gil，L.、Flores，P.、Silveira，L.M。 相关软件： MiniSat；玲玲；齐塔卫星… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
阿克卡普罗夫 3份文件引用(2016–2022) 软件作者： 安德烈·罗萨；Chen，Lydia Y。；沃尔特·宾德 相关软件： DiSL；JMeter；Kieker… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
C触发器 3份文件引用（2013-2016） 软件作者： Soyeon公园、山路、圆圆洲 相关软件： RacerX；PENELOPE公司；jPredictor… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
DPF（DPF） 3份文件引用(2013–2020) 软件作者： Gligoric，米洛斯；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HiPE公司 2份文件引用(2002–2003) 软件作者： E.Johansson、M.Pettersson、K.Sagonas 相关软件： 埃尔朗；SICStus公司；清洁 主要字段： 计算机科学（68-XX）
版次TPL 3份文件引用(2022–2023) 软件作者： 劳拉·博奇（Laura Bocchi）；伊凡·拉内斯；梅齐纳、克劳迪奥·安塔雷斯；元朗，昭治 相关软件： ProVerify公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
session-ocaml会议 3份文件引用(2018–2023) 软件作者： Imai，Keigo；吉田、Nobuko；元朗，昭治 相关软件： 莫德；蒙哥；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
TM单元 2份文件引用(2010–2018) 软件作者： Harmanci，D。；Felber，P。；格拉莫利，V。；费泽尔，C。 相关软件： 印章；NOrec；TLRW… 主要字段： 计算机科学（68-XX）
二元多重关系 2份文件引用(2016–2020) 软件作者： Hitoshi Furusawa；乔治·斯特鲁斯 相关软件： 存档正式证据；Isabelle/HOL；克莱纳代数… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
CBabel公司 2份文件引用(2005–2009) 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺，布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）
OMUSE公司 2份文件引用(2017–2020) 软件作者： Inti Pelupessy；本·范·维尔霍文；阿尔延·范·埃尔特伦（Arjen van Elteren）；扬·维巴恩（Jan Viebahn）；亚当·坎迪；西蒙·波特基斯·兹瓦特；Henk Dijkstra公司 相关软件： CRCP；数字Py；Python… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
执行者ERL 2份文件引用(2022–2023) 软件作者： 沃尔特·卡佐拉（Walter Cazzola）；弗朗西斯科·塞萨里尼；卢卡·坦西尼 相关软件： SCEL；CARMA公司；JMeter… 主要字段： 计算机科学（68-XX）
算法1026 1份文件引用(2022) 软件作者： 克里斯托斯·帕萨拉斯；拉尔斯·卡尔森（Lars Karlsson）；Rasmus兄弟；保罗·比伦蒂内西 相关软件： TensorLy；算法862；CUDA… 主要字段： 数值分析（65-XX）
自动诊断 1份文件引用(2022) 软件作者： 乌米特·德米尔巴加；文振宇；艾曼·努尔（Ayman Noor）；卡兰·米特拉（Karan Mitra）；哈立德·阿尔瓦塞尔；索拉巴·加格；阿尔伯特·Y·佐玛雅。；拉吉夫·兰扬 相关软件： DeepLog；PerfXplain；TensorFlow… 主要字段： 计算机科学（68-XX）
Dag-calculus公司 1份文件引用(2016) 软件作者： Acar，Umut A。；亚瑟·查古埃罗；迈克·雷尼；菲利普·西奇科夫斯基 相关软件： HJlib；西尔克 主要字段： 计算机科学（68-XX）
亲属特权 1份文件引用(2019) 软件作者： Gulce Kale；埃尔曼·艾迪；Oznur Tastan公司 相关软件： 基因二酚；HElib（HElib） 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
尼比龙 1份文件引用(2008) 软件作者： Milovanovi'c，Milov s；罗杰·费雷尔（Roger Ferrer）；弗拉基米尔·加季诺夫；奥斯曼·S·安萨尔。；阿德里安·克里斯塔尔；爱德华·艾瓜德；瓦莱罗，马特奥 相关软件： 要塞 主要字段： 计算机科学（68-XX）
Python泡沫 1份文件引用(2023) 软件作者： Maulik，R。；费塔尼迪斯，D.K。；Lusch，B。；维什瓦纳，V。；帕特尔，S 相关软件： GitHub；MPAS；萨卡多… 主要字段： 统计学（62-XX）；数值分析（65-XX）
坦桑尼亚 1份文件引用(2017) 软件作者： 克里斯托弗·利德伯里（Christopher Lidbury）；阿拉斯泰尔·唐纳森。 相关软件： 螺纹消毒剂；多种族；CDS检查器… 主要字段： 计算机科学（68-XX）