UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： Supremica；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
PGSolver公司 41篇文献引用(2009–2023) 软件作者： 奥利弗·弗里德曼；马丁·兰格 相关软件： Oink；条纹；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
MIO工作台 30篇文献引用（2010年-2023年） 软件作者： 鲍尔，塞巴斯蒂安·S。；菲利普·迈耶（Philip Mayer）；Legay、Axel 相关软件： 摩托罗拉；ECDAR；MSTA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FAdo公司 19份文件引用（2010年-2023年） 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： GUItar公司；蟒蛇；Vaucanson… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
裴楚丘 16篇文献引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
红矿工 13份文件引用(2010–2022) 软件作者： 马克·索莱；乔塞普·卡莫纳 相关软件： 混合ILPMiner；VipTool；基因… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
古伊塔 在11份文件中引用（2010年-2023年） 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： FAdo；蟒蛇；Vaucanson… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者： 吴春汉；张兴元；城市，基督教 相关软件： Coq；存档正式证据；常规集… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
libFAUDES公司 10篇文献引用(2010–2020) 软件作者： 伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特 相关软件： UMDES；TCT；害虫… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
克莱纳代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
Presburger Automata公司 9份文件引用(2009–2019) 软件作者： 斯特凡·贝尔霍弗；马库斯·雷特 相关软件： 存档正式证据；Isabelle/HOL；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
有限自动机HF 7份文件引用(2015–2020) 软件作者： 劳伦斯·保尔森 相关软件： 遗传有限集；Coq；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
山核桃 6篇文献引用(1996–2021) 软件作者： 胡萝卜，路易吉；梅勒，弗兰诺；Mango Furnari，马里奥；雷娜塔·纳波利塔诺 相关软件： CANv2；PYR；OpenCAL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
克罗恩·罗德斯 4份文件引用(2005–2011) 软件作者： 埃格里·纳吉，阿提拉；尼哈尼夫（Nehaniv）、克里斯托弗（Chrystopher L.）。 相关软件： 间隙；SgpDec公司 主要字段： 群论与推广（20-XX）；计算机科学（68-XX）
杂交分析 4份文件引用(2009–2022) 软件作者： 卡萨格兰德，A。；德罗西，T。 相关软件： SpaceEx；d/dt；JuliaReach… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统理论；控制（93-XX）
可再生能源2 3份文件引用(2011–2013) 软件作者： 谷歌 相关软件： PCRE；数字Py；Rcpp… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
小牛 3份文件引用(2017–2022) 软件作者： Gerco van Heerdt、Matteo Sammartino、Alexandra Silva 相关软件： LearnLib；杠杆；西格玛*… 主要字段： 计算机科学（68-XX）
GaniFA公司 3份文件引用(2001–2007) 软件作者： Stephan Diehl、Andreas Kerren和Torsten Weller 相关软件： 探戈；BCEL；莱昂纳多… 主要字段： 计算机科学（68-XX）
StonyCam公司 3份文件引用(2008–2010) 软件作者： 埃齐奥·巴托西；弗拉维奥·科拉迪尼；格鲁苏，拉杜；伊曼纽拉·梅雷利；奥利维埃罗·里加内利；斯科特·斯莫尔卡。 相关软件： Uppaal；IF-2.0；克洛诺斯 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
蟾蜍和青蛙 引用于2份文件(2009–2014) 软件作者： Thanatipananda，Thotsaporn Aek；多龙·泽尔伯格 相关软件： 枫树 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BALM-II型 引用于2份文件(2015–2020) 软件作者： 卡斯蒂蒂内蒂，G.，皮科洛，M.，维拉，T。 相关软件： MVSIS公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CAVA公司 引用于2份文件(2018–2019) 软件作者： 朱利安·布伦纳；彼得·兰米奇（Peter Lammich）；等。 相关软件： 石笼SCC；CAVA LTL模型检查器；存档正式证据… 主要字段： 计算机科学（68-XX）
CertiStr证书 引用于2份文件(2022) 软件作者： Kan双龙、Anthony W.Lin、Philipp Rümmer、Micha Schrader 相关软件： CVC4；CLSAT；MiniSat… 主要字段： 计算机科学（68-XX）
施工方 引用于2份文件(1990–2011) 软件作者： 阿莱辛，Z。；Dombi，J。；Fabricz，K。；Gyimothy，T。；霍瓦思，T。 相关软件： GAG公司 主要字段： 计算机科学（68-XX）
图形调查员 引用于2份文件(2011–2016) 软件作者： 捷克语，Wojciech；维托尔德·德兹温；Sławomir Goryczka；托马斯·阿罗德；阿卡迪乌斯·杜德克。 相关软件： SpectralNET；StOCNET网络 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Ons（打开） 引用于2份文件(2018–2022) 软件作者： 戴维·文霍克；约书亚·莫尔曼（Joshua Moerman）；朱里安·罗特 相关软件： 路易斯；新鲜OCaml；NLambda… 主要字段： 计算机科学（68-XX）
害虫 引用于2份文件(2018–2020) 软件作者： Costa，G.、Basin，D.、Bodei，C.、Degano，P.、Galletta，L。 相关软件： TCT；MuDiv；libFAUDES… 主要字段： 计算机科学（68-XX）
耐力 引用于2份文件(2017–2021) 软件作者： 纳塔娜·菲亚尔科夫；雨果·金伯特（Hugo Gimbert）；Edon Kelmendi；丹尼斯·库珀伯格 相关软件： 算法97；语言；github 主要字段： 计算机科学（68-XX）
CellExcite公司 1份文件引用(2008) 软件作者： Bartocci，E.、F.Corradini、E.Entcheva、R.Grosu、S.A.Smolka 相关软件： 查龙；d/dt；高超声速 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
手机网络 1份文件引用（2018年） 软件作者： Juan C.Burguillo。 相关软件： – 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
乔夫 1份文件引用(2019) 软件作者： 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 相关软件： 朱庇特；蟒蛇 主要字段： 计算机科学（68-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
SAGEMoLiC公司 1份文件引用(2002) 软件作者： 毛里西奥·阿亚拉·林科；达丰塞卡，Alexsandro F。；波贝尔，海德·韦内克；何塞·西奎拉 相关软件： Xaa公司 主要字段： 计算机科学（68-XX）
斯通-克莱恩 1份文件引用（2018年） 软件作者： 沃尔特·古特曼 相关软件： 克莱纳代数；关系代数；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）