UMDES公司 442份文件引用(1996–2023) 软件作者： 克里斯托斯·卡桑德拉斯（Christos G.Cassandras）；斯特凡·拉福琼 相关软件： Supremica；libFAUDES；TCT… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；克罗诺斯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
低l2ba 99篇文献引用(2001–2023) 软件作者： 保罗·加斯丁（Paul Gastin）；丹尼斯·奥杜克斯 相关软件： 自旋蛋白；SPOT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
斑点 61篇文献引用(2005–2023) 软件作者： Duret-Lutz，A。；波特雷诺。 相关软件： 自旋蛋白；LTL2BA；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： CDuce；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
廷巴克 49篇文献引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝诺·博伊尔；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；ELAN… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
IF-2.0型 38篇文献引用（2002年至2022年） 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PG解算器 41篇文献引用(2009–2023) 软件作者： 奥利弗·弗里德曼；马丁·兰格 相关软件： Oink；条纹；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
语言 41篇文献引用(2000–2023) 软件作者： Pascal卡隆 相关软件： 测试；AG公司；GUItar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal；高科技；PPL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
VerICS版本 34份文件引用(2005–2023) 软件作者： 兹布热兹尼（Zbrzezny，Andrzej）；沃兹纳，博泽纳 相关软件： MCMAS；MCK；MOCHA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
反链 34份文件引用(2006–2022) 软件作者： De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件： MONA；HIP；旋转… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
日本运通银行 25篇文献引用（2002年至2022年） 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java路径查找器；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
政治公众人物 30篇文献引用(1993–2014) 软件作者： L.Baldo、L.Fernandes、P.Roisenberg、P.Velho、T.Webber 相关软件： 政治公众人物协议；智能_；GTAEXPRESS… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
学习库 引用于27份文件(2011–2023) 软件作者： 哈拉尔德·拉菲尔特；伯恩哈德·斯特芬；特里斯·伯格；蒂齐亚娜·玛格丽亚 相关软件： libalf；GitHub；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MIO工作台 30篇文献引用(2010–2023) 软件作者： 塞巴斯蒂安·鲍尔。；菲利普·迈耶（Philip Mayer）；Legay、Axel 相关软件： 摩托罗拉；ECDAR；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PESSOA公司 26篇文献引用(2011–2022) 软件作者： 普里塔姆·罗伊；保罗·塔布阿达；鲁帕克·马朱姆达尔 相关软件： SCOTS；科西马；TuLiP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
弗拉塔 26篇文献引用(2009–2023) 软件作者： 马吕斯·博兹加；半径Iosif；菲利普·科内克尼；托马斯·沃伊纳尔 相关软件： Eldarica公司；公主；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
罗密欧 引用于27份文件(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马格宁；Olivier Roux（H.） 相关软件： TINA；Uppaal；克罗诺斯… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
幻灯片 引用于27份文件(2013–2023) 软件作者： Iosif，R.，Rogalewicz，A.，Vojnar，T。 相关软件： HIP；推断；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QCA设计师 22篇文献引用(2010–2022) 软件作者： Walus，K.、Dysart，T.J.、Jullien，G.A.、Budiman，R.A。 相关软件： QCAPro；NIST统计测试套件 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者： 克努特·阿克森；马丁·费边（Martin Fabian）；雨果·弗洛达尔；罗比·马利克 相关软件： UMDES；TCT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
TAPAAL公司 24篇文献引用(2011–2022) 软件作者： 约阿金·比格；约根森、肯尼思·伊尔克；吉·斯尔巴 相关软件： Uppaal；TINA；罗密欧… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
陌生人 22篇文献引用(2011–2023) 软件作者： 方宇、穆阿特·阿尔哈拉夫、特维克·布尔坦 相关软件： 汉普；S3；Z3str3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
条纹 22篇文献引用(2019–2023) 软件作者： 卢滕伯格，迈克尔；菲利普·梅耶（Philipp J.Meyer）。；所罗门·西克特 相关软件： 相思树+；博西；哎哟… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
FAdo公司 19份文件引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： 古伊塔；蟒蛇；Vaucanson… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TorX公司 16篇文献引用(2005–2021) 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
LiQuor公司 19份文件引用(2007–2019) 软件作者： – 相关软件： 棱镜；MRMC；拉比尼泽… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
REGAL公司 19份文件引用(1997–2022) 软件作者： 巴西诺（Frédérique Bassino）；朱利安·大卫；西里尔·尼科德 相关软件： 反链；GIDDES公司；DESUMA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；相对论与引力理论（83-XX）…
阿里阿德涅 17篇文献引用(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；法拉利，阿尔贝托；卢卡·杰雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
打开Fst 18篇文献引用（2007年至2024年） 软件作者： 西里尔·阿劳赞（Cyril Allauzen）；迈克尔·莱利；Johan Schalkwyk；沃伊切赫·斯科特；梅赫里亚·莫赫里 相关软件： Vaucanson；自由演讲；卡尔迪… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
拉比尼泽 18篇文献引用(2012–2022) 软件作者： Gaiser A、KřetínskõJ、Esparza J 相关软件： 棱镜；SPOT；ltl2dstar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
常规集合 16篇文献引用(2011–2018) 软件作者： 亚历山大·克劳斯；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
裴楚丘 16篇文献引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： 分子生物学；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
COMPAS公司 14篇文献引用(1990–2021) 软件作者： 克孜什托夫·克米埃尔（Krzysztof Chmiel）；亚当·罗曼 相关软件： 遗嘱；巴特里西亚；升压… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
DCVALID公司 16篇文献引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JFLAP公司 14篇文献引用（2002年-2023年） 软件作者： Rodger S、Finley T 相关软件： 自旋蛋白；GeoWin；FAUST… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
rbminer公司 13份文件引用(2010–2022) 软件作者： Marc Solé；乔塞普·卡莫纳 相关软件： 杂交ILPMiner；VipTool；基因… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
自动组 15篇文献引用(2008–2022) 软件作者： Yevgen Muntyan，德米特罗·萨夫丘克 相关软件： 法国；间隙；自动机 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
沃康松 14篇文献引用(2004–2016) 软件作者： 伦巴第，Sylvain；拉斐尔·波什；雷吉斯·吉亚纳斯，亚恩；雅克·萨卡罗维奇 相关软件： OpenFst；古伊塔；FAdo… 主要字段： 计算机科学（68-XX）
自动机 14篇文献引用(2005–2020) 软件作者： 曼努埃尔·德尔加多（Manuel Delgado）、史蒂夫·林顿（Steve Linton）、何塞·莫利斯（Jose Morais） 相关软件： 间隙；SgpViz；OEIS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
CoLoSS公司 13份文件引用(2009–2020) 软件作者： G.Calin、R.Myers、D.Pattinson、L.Schröder 相关软件： FaCT++；颗粒；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
利巴夫 12份文件引用(2011–2022) 软件作者： Benedikt Bollig；Joost-Pieter Katoen；卡斯滕·克恩（Carsten Kern）；马丁·勒克；丹尼尔·奈德；大卫·R·皮格登 相关软件： LearnLib；西格玛*；COMICS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
马特拉布 14篇文献引用(1969–2005) 软件作者： 恩格曼，C。 相关软件： 减少；伊斯兰教；数学… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自动 13份文件引用(1990–2023) 软件作者： Champarnaud，J.M。；Hansel，G。 相关软件： 圣杯；AMoRE；AG… 主要字段： 一般代数系统（08-XX）；群论与推广（20-XX）；计算机科学（68-XX）
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
石笼SCC 13份文件引用(2014–2021) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
猫头鹰 12份文件引用(2018–2022) 软件作者： Křetínsk \345]，Jan；梅根多夫，托拜厄斯；所罗门·西克特 相关软件： SPOT；条纹；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
QCAPro公司 12份文件引用(2017–2022) 软件作者： Srivastava，S；阿斯塔纳，A；Bhanja，S；萨卡尔，S 相关软件： QCA设计师；NIST统计测试套件 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
GUItar公司 在11份文件中引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·赖斯 相关软件： FAdo；蟒蛇；Vaucanson… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者： 吴春汉；张兴元；城市，基督教 相关软件： 辅酶q；存档正式证据；常规集… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
拉马斯 12份文件引用(2006–2013) 软件作者： 马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔 相关软件： RoVerGeNe；高科技；PHAVer… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
通过 8份文件引用(2015–2023) 软件作者： Li，G.、Ghosh，I。 相关软件： S3；Z3-str；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
RATSY公司 10篇文献引用(2012–2022) 软件作者： 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件： NuSMV；JTLV；数学SAT… 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；计算机科学（68-XX）…
AUTOMATA公司 10篇文献引用(1995–2022) 软件作者： 霍尔特（Derek F.Holt）。；大卫·爱泼斯坦；莎拉·里斯 相关软件： 间隙；kbmag；岩浆… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；微分几何（53-XX）…
libFAUDES公司 10篇文献引用(2010–2020) 软件作者： 伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特 相关软件： UMDES；TCT；害虫… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Regex_Equivalence（正则_等效） 10篇文献引用(2014–2023) 软件作者： Nipkow，T。；特拉泰尔·D·。 相关软件： Isabelle/HOL；存档正式证据；起重… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
上CORA 9份文件引用(2005–2022) 软件作者： Gerd Behrmann；金·古德斯特兰·拉森 相关软件： Uppaal；克罗诺斯；验证… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
贾尼 8份文件引用(2019–2022) 软件作者： Budde，C.E.、Dehnert，C.、Hahn，E.M.、Hartmanns，A.、Junges，S.、Turrini，A。 相关软件： 棱镜；风暴；Uppaal… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
克莱恩代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
LARVA公司 8份文件引用(2012–2022) 软件作者： Colombo C、Pace GJ、Schneider G公司 相关软件： 员工宿舍；LOLA；Java-MOP… 主要字段： 计算机科学（68-XX）
MGS公司 9份文件引用(2001–2016) 软件作者： 贾维托，J.-L。；O·米歇尔。 相关软件： HOCL；NESL；莫德… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Presburger自动机 9份文件引用(2009–2019) 软件作者： 斯特凡·贝尔霍弗；马库斯·雷特 相关软件： 存档正式证据；Isabelle/HOL；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
拉赫夫特 9份文件引用(2018–2023) 软件作者： Kafle，B.，Gallagher，J.P.，Morales，J.F。 相关软件： z3；SeaHorn；垫片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SEPIA公司 9份文件引用(2015–2023) 软件作者： Gransden，T.、Walkinshaw，N.、Raman，R。 相关软件： E定理证明器；FEMaLeCoP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
终极自动化 8份文件引用(2015–2022) 软件作者： 马提亚斯·海兹曼；耶尔根基督；丹尼尔·迪特施（Daniel Dietsch）；埃夫伦·埃尔米斯（Evren Ermis）；霍尼克，约琴；马库斯·林登曼；亚历山大·纳茨（Alexander Nutz）；席林（Christian Schilling）；安德烈亚斯·波德尔斯基 相关软件： SMT企业；CBMC；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
WinALT公司 8份文件引用(1997–2014) 软件作者： Piskunov，S.V.、Ostapkevich M.B.、Beletkov D.T。 相关软件： 可视化C++ 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；Tripp，Omer公司；墨菲·贝尔齐什；朱利安·杜比（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）…
戈尔利 8份文件引用(2011–2022) 软件作者： Trevorow，A.、Rokicki，T.、Hutton，T.等人。 相关软件： GitHub；双目标规则 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
海斯特 7份文件引用(2015–2019) 软件作者： Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件： SpaceEx；CORA；C2e2… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
LIRA公司 7份文件引用(2008–2021) 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
SPeeDI公司 7份文件引用（2002年至2017年） 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施奈德；塞尔吉奥·尤文 相关软件： GSPeeDI；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
CADbot 7份文件引用(2020–2023) 软件作者： 萨恩多·费科特。；罗伯特·格梅尔（Robert Gmyr）；萨布丽娜·雨果；菲利普·凯尔德尼奇（Phillip Keldenich）；谢弗（Christian Scheffer）；阿恩·施密特 相关软件： AmoebotSim公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
德拉格 7份文件引用(2017–2021) 软件作者： 米勒，大卫；所罗门·西克特 相关软件： SPOT；猫头鹰；LTL2BA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
有限自动机HF 7份文件引用(2015–2020) 软件作者： 劳伦斯·保尔森 相关软件： 遗传有限集；辅酶q；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
目标 6篇文献引用(2009–2015) 软件作者： Tsay，Y.-K.，Chen，Y.-F.，Tsai，M.-H.，Wu，K.-N.，Chan，W.C。 相关软件： 自旋蛋白；LTL2BA；Matlab… 主要字段： 计算机科学（68-XX）
磅/吨 5份文件引用(2009–2015) 软件作者： H.Tauriainen；K.赫尔扬科 相关软件： LTL2BA；SPOT；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LinAIG公司 7份文件引用(2011–2022) 软件作者： 沃纳·达姆；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；弗洛里安·皮戈什（Florian Pigorsch）；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 相关软件： z3；CUDD；SpaceEx… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MoChiBA公司 7份文件引用(2017–2023) 软件作者： 所罗门·西克特；简·Křetínsk 相关软件： 棱镜；拉比尼泽；猫头鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MSO_Regex_当量 7份文件引用(2013–2018) 软件作者： 德米特里·特拉泰尔（Dmitriy Traytel）；托比亚斯·尼普科 相关软件： Presburger Automata；Myhill-Nerode；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蛋白石 6篇文献引用(2012–2021) 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
StrSolve解决方案 6篇文献引用(2014–2023) 软件作者： Hooimeijer，P.，Weimer，W。 相关软件： 通过；Z3str3；诺恩… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）