政治公众人物协议 111篇文献引用(1995–2024) 软件作者： 简·希尔斯顿；http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件： 生物-PEPA；棱镜；生物活性炭… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
罗丹 94份文件引用(2008–2024) 软件作者： Abrial，J.R.、Butler，M.、Hallerstede，S.、Hoang，T.S.、Mehta，F.、Voisin，L。 相关软件： ProB；Z；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
周六4j 86篇文献引用(2007–2023) 软件作者： 勒贝雷；帕兰 相关软件： QMaxSAT；迷你卫星；箔条… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
OMNet公司++ 33篇文献引用(2001–2021) 软件作者： 安德拉斯·瓦尔加 相关软件： ns-2；和弦；GloboSim… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Protege公司 28篇文献引用(1997–2022) 软件作者： 斯坦福大学；J.H.Gennari、M.A.Musen、R.W.Fergerson等人。 相关软件： 颗粒；赛车手；耶拿… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
博科 58篇文献引用(2013–2023) 软件作者： F.J.Bonnans、P.Martinon、V.Grélard、。 相关软件： Ipopt；火腿路径；SOCS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
Z/EVES公司 35篇文献引用(1998–2021) 软件作者： 社区Z工具项目 相关软件： Z；电源保护；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
ATL公司 12份文件引用(2008–2021) 软件作者： 弗莱德里克·尤厄（Frédéric Jouault）；弗雷迪·阿利莱尔；让·贝齐文；伊万·库特夫 相关软件： 霍尔效应；UML2合金；AGG… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
杰斯 6篇文献引用(2001–2016) 软件作者： 欧内斯特·弗里德曼-希尔 相关软件： 剪辑；JBoss；口水… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
jETI公司 5份文件引用(1997–2011) 软件作者： Margaria、Tiziana；拉尔夫·纳格尔（Ralf Nagel）；伯恩哈德·斯特芬 相关软件： 班德拉；自旋蛋白；CADP… 主要字段： 计算机科学（68-XX）
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
ACL2 12份文件引用(2007–2021) 软件作者： 彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆·弗隆；摩尔，J·斯特罗瑟 相关软件： ACL2；芝诺；NQTHM… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
孢子虫 11份文件引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd公司；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
希皮卡特 2份文件引用(2008–2010) 软件作者： Cubranic，D。；墨菲，G.C。；辛格，J。；韩国展位。 相关软件： Seesoft；斯坦福·塔格；Dynodroid… 主要字段： 计算机科学（68-XX）
红衣主教 10篇文献引用(2007–2020) 软件作者： 弗朗西斯科·阿泽夫多 相关软件： CPGraph；Z/EVES；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ITS工具 10篇文献引用(2019–2023) 软件作者： Yann Thierry-Mieg公司 相关软件： TINA；LTSmin公司；TAPAAL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
海狮 7份文件引用（2012年至2019年） 软件作者： Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件： 天基信息平台；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
Xtext（扩展文本） 6篇文献引用(2013–2019) 软件作者： eclipse.org 相关软件： 孢子虫；Stratego；ANTLR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
ESBMC公司 4份文件引用(2014–2020) 软件作者： 南安普顿大学、斯特伦博斯大学、亚马逊联邦大学；卢卡斯·科尔代罗（Lucas Cordeiro）；杰里米·莫尔斯（Jeremy Morse）；丹尼斯·尼科尔；伯恩德·菲舍尔 相关软件： CBMC；LLBMC；爆炸… 主要字段： 计算机科学（68-XX）
JTLV公司 6篇文献引用(2012–2020) 软件作者： Amir Pnueli、Yaniv Sa’ar、Lenore D.Zuck 相关软件： RATSY公司；CUDD；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
OpenJML（打开JML） 6篇文献引用(2011–2022) 软件作者： 大卫·R·科克 相关软件： Why3；凯伊；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
千斤顶 4份文件引用(2004–2011) 软件作者： Gilles Barthe、Lilian Burdy、Julien Charles、Benjamin Grégoire、Marieke Huisman、Jean-Louis Lanet、Mariela Pavlova、Antoine Requet 相关软件： 卡拉卡拉；JML；Why3… 主要字段： 计算机科学（68-XX）
STEXIDE公司 5份文件引用(2010–2013) 软件作者： 朱可夫斯基（Jucovschi），君士坦丁（Constantin）；迈克尔·科尔哈斯 相关软件： TNT基地；MMT；Mizar… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
XML监视 3份文件引用(2005–2016) 软件作者： 阿尔托瓦 相关软件： OSiL；GAMS；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
APE公司 4份文件引用(2010–2019) 软件作者： Adrian Sureshkumar、Marina De Vos、Martin Brain、John Fitch 相关软件： 海狮；天基信息平台；卡拉… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
Bioclipse公司 在0个文档中引用 软件作者： Spjuth O、Alvarsson J、Berg A、Eklund M、Kuhn S、Masak C、Torrance G、Wagener J、Willighagen E、Steinbeck C、Wikberg J。 相关软件： CDK；塔维纳；BioMOBY… 主要字段： –
基安蒂 2份文件引用(2010–2011) 软件作者： 任，X。；莱德，B.G。；Störzer，M。；叶尖，F。 相关软件： UMLDiff；JML；FAMIX… 主要字段： 计算机科学（68-XX）
DynaMine公司 1份文件引用(2022) 软件作者： Livshits，B.，Zimmermann，T。 相关软件： 自旋蛋白；德克萨斯州；PPTL_SPIN… 主要字段： 计算机科学（68-XX）
哈瓦那 5份文件引用(2010–2023) 软件作者： Hollund K、Mostad P、Fredrik Nielsen B、Holden L、Gjerde J、Grazia Contursi M、McCann AJ、Townsend C、Sverdrup E 相关软件： SGeMS；Roxar RMS；AlexNet… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；地球物理学（86-XX）
美兰尼 5份文件引用(2019–2023) 软件作者： 阿恩·兰格、科林·阿特金森；Gerbig，R.等人。 相关软件： AToMPM；梅兰热；安… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
tptp2X型 3份文件引用(1998–2006) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： 小时；数学网；梅斯4… 主要字段： 数论（11-XX）；计算机科学（68-XX）
维卡明 2份文件引用(2016–2023) 软件作者： 马丁·阿兹穆勒（Martin Atzmueller）；弗洛里安·勒默里奇 相关软件： UCI-ml；形状；gamair… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
瑞士法郎 4份文件引用(2002–2018) 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijves 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
CRSX公司 3份文件引用(2009–2011) 软件作者： 罗丝，K.H。；国际商用机器公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
功能IDE 2份文件引用(2016–2023) 软件作者： Thüm T、Kästner C、Benduhn F、Meinike J、Saake G、Leich T 相关软件： CPLEX；fmp；FaMa… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
nat2试验 4份文件引用(2016–2023) 软件作者： 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件： FDR3；Z；马戏团… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
序曲工具 4份文件引用(2010–2021) 软件作者： Larsen，P.G.，Battle，N.，Ferreira，M.A.，Fitzgerald，J.S.，Lausdahl，K.，Verhoef，M。 相关软件： 罗丹；GitHub；核心ASM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
同步AADL2音频 2份文件引用(2015) 软件作者： Bae，K.，Ølveczky，P.C.，Meseguer，J.，Al-Nayeem，A。 相关软件： 莫德；Uppaal公司；TSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
测试NG 2份文件引用(2009–2012) 软件作者： 塞德里克·比斯特，哈尼·苏莱曼 相关软件： SpecExplorer；N模型；UniTESK… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
时代广场 3份文件引用(2015–2016) 软件作者： 朱利安·德安东尼（Julien DeAntoni），弗雷德里克·马莱特（Frédéric Mallet） 相关软件： 酯类；Uppaal公司；信号… 主要字段： 计算机科学（68-XX）
Xmdv工具 4份文件引用(2004–2011) 软件作者： 马特·沃德（Matt Ward）；Elke Rundensteiner。。。 相关软件： MANET；UCI-ml；其mr… 主要字段： 统计学（62-XX）
jPET公司 2份文件引用(2013–2015) 软件作者： Albert，E.，Cabañas，I.，Flores-Montoya，A.，Gómez-Zamalloa，M.，Gutiérrez，S。 相关软件： 埃菲尔；SWI-预测；ATGen… 主要字段： 计算机科学（68-XX）
方解石 1份文件引用(2017) 软件作者： 马修·穆蒂（Mathew Mooty）、安德鲁·福林（Andrew Faulring）、杰弗里·斯泰罗斯（Jeffrey Stylos）、布拉德·迈尔斯（Brad A.Myers） 相关软件： 巴黎万维网；XSnippet公司；Mtac… 主要字段： 计算机科学（68-XX）
CD2合金 1份文件引用(2018) 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： 弗迈尔；威士忌；波尔多… 主要字段： 计算机科学（68-XX）
cddiff（cddiff） 1份文件引用(2018) 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： 弗迈尔；威士忌；波尔多… 主要字段： 计算机科学（68-XX）
科库恩 2份文件引用(2015–2016) 软件作者： Bengtson，J.、Mehnert，H.、Faithfull，A。 相关软件： 一般证明；Coq；GitHub… 主要字段： 计算机科学（68-XX）
ompVerify（omp验证） 在0个文档中引用 软件作者： V.巴苏帕利；T.Yuki；S.Rajopadhye；A.Morvan；S.德里安；P.Quinton；D.温纳科特 相关软件： GitHub；Valgrind公司；CUDA公司 主要字段： –
PDVer版本 2份文件引用(2014–2022) 软件作者： 莱蒙迪，F。；佩彻，C。；G.布拉特。 相关软件： 高尔夫；Java PathFinder；Uppaal公司 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
ResAna公司 2份文件引用（2014年至2021年） 软件作者： Kersten，R.，van Gastel，B.E.，Shkaravska，O.，黑山，M.，van-Eekelen，M。 相关软件： COSTA公司 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；差分和函数方程（39-XX）…
SEET（搜索） 2份文件引用(2021–2023) 软件作者： 阿齐兹，B。；扎马尼，B。；Rahimi，S.K。 相关软件： 沟槽 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CGM工具 1份文件引用(2020) 软件作者： Mai Chi Nguyen、Roberto Sebastiani、Paolo Giorgini、John Mylopoulos 相关软件： 扁平锌；迷你卫星；GitHub… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
电子计算器 1份文件引用(2016) 软件作者： 亨利克·古斯塔夫森 相关软件： 倍频程；GitHub；FOILGEN… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
美洲虎 在0个文档中引用 软件作者： H.L.Ribeiro、H.A.De Souza、R.P.A.De Araujo、M.L.Chaim、F.Kon 相关软件： 酥脆；pytest；封面.py… 主要字段： –