VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃龙科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
模糊逻辑工具箱 66份文件引用(1998–2022) 软件作者： 网织物；北卡罗来纳州格利。；Jang，J.S。 相关软件： Matlab；ANFIS；Simulink… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凯伊 55份文件引用(2000–2023) 软件作者： http://www.key-project.org/people.html 相关软件： JML；ESC/Java；卡拉卡拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
KIV公司 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
YAP-序言 48篇文献引用(1999–2022) 软件作者： 维托尔·桑托斯·科斯塔（Vítor Santos Costa）、路易斯·达马斯（Luís Damas）、罗杰里奥·里斯（Rogério Reis）、鲁本·阿泽夫多（Rüben Azevedo） 相关软件： XSB；探测日志；SWI-预测… 主要字段： 总体主题；藏品（00-XX）；统计学（62-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）…
KL-ONE公司 引用于37份文件(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
凯伊迈拉X 25篇文献引用(2015–2024) 软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。 相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
LARS公司 23篇文献引用(2016–2022) 软件作者： Beck，H.、Dao-Tran，M.、Eiter，T.、Fink，M。 相关软件： 克林戈；o克林戈；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布鲁诺 相关软件： 探测日志；皮塔；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
SCIFF公司 引用于19份文件(2006–2022) 软件作者： 马可·阿尔贝蒂、费德里科·切萨尼、马可·加瓦内利、伊芙琳娜·拉姆马、保拉·梅洛、保罗·托罗尼 相关软件： HYPROLOG；棱镜；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
PFC2D系列 18篇文献引用(2003–2021) 软件作者： Itasca咨询集团。 相关软件： Qhull；三角形；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
天基信息平台 12份文件引用(2012–2021) 软件作者： 弗布拉罗，奥诺弗里奥；里尔，克里斯蒂安；弗朗西斯科·里卡 相关软件： 海狮；卡拉；APE… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
kFOIL公司 14篇文献引用(2007–2022) 软件作者： Landwehr，N.、Passerini，A.、De Raedt，L.、Frasconi，P。 相关软件： nFOIL；阿列夫；UCI-ml… 主要字段： 数学逻辑与基础（03-XX）；功能分析（46-XX）；统计学（62-XX）…
PFC3D系列 15篇文献引用(2004–2024) 软件作者： Itasca咨询集团。 相关软件： MercuryDPM；Blaze-DEMGPU；穆森… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
演示 10篇文献引用(2007–2023) 软件作者： 扬·范·埃伊克 相关软件： SMCDEL公司；MCK；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
多媒体卡 9份文件引用(2003–2020) 软件作者： 杨平；罗马克里希南，C.R。；斯科特·斯莫尔卡。 相关软件： MWB；MCK；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
KOOL公司 7份文件引用(2009–2016) 软件作者： Hills，M.，Rosu，G。 相关软件： K校准仪；莫德；K工具… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
蜗牛 7份文件引用(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
NMRDPP公司 7份文件引用(2006–2023) 软件作者： 蒂堡，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 相关软件： 图形平面图；CPLEX；观察员… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
KeY-C公司 5份文件引用(2009–2023) 软件作者： 穆尔克，奥列格；丹尼尔·拉尔森（Daniel Larsson）；雷纳·哈内尔 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TPtool公司 6篇文献引用(2014–2017) 软件作者： 萨博尔斯·纳吉；佐尔坦·彼得斯；彼得·巴拉尼 相关软件： Qhull；YALMIP；SDPT3… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
VeriPhy公司 6篇文献引用(2018–2022) 软件作者： Brandon Bohrer、Yong Kiam Tan、Stefan Mitsch、Magnus O.Myreen、AndréPlatzer 相关软件： 凯伊迈拉；Coq；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
阿尼玛 5份文件引用(2014–2023) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；DDebugger… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者： 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： 奶牛；MoDeST；克莱姆… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
阿格利特 3份文件引用(2010–2017) 软件作者： 杰米·莫根斯坦（Jamie Morgenstern）；丹尼尔·李卡塔（Daniel R.Licata）。 相关软件： 层流；哈斯克尔；Ynot… 主要字段： 计算机科学（68-XX）
Aximo公司 4份文件引用(2009–2016) 软件作者： 理查兹，S.，M.萨达德 相关软件： 演示；佩斯卡 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
KeY-ABS公司 4份文件引用(2015–2021) 软件作者： Din，Crystal Chang；理查德·布贝尔（Richard Bubel）；雷纳·哈内尔 相关软件： 防抱死制动系统；斯卡拉；算法864… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
DynAlloy合金 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；瑜伽士… 主要字段： 计算机科学（68-XX）
法塔姆 3份文件引用(1978–2020) 软件作者： 拉斯穆森，D.M。；新罕布什尔州马歇尔。 相关软件： MOCUS公司；ELRAFT公司；准备/套件… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
辛提卡的世界 3份文件引用（2020年-2023年） 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： SMCDEL公司；CUDD；MCMAS公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
i-Cube（i-Cube） 3份文件引用(2001–2011) 软件作者： 弗兰基·彭；科斯塔斯Kontogiannis 相关软件： —— 主要字段： 结合环与代数（16-XX）；微分几何（53-XX）；计算机科学（68-XX）…
莫维奥拉 3份文件引用(2017–2019) 软件作者： 奥昆特Sabunu；莱特，乔~奥 相关软件： 克林戈；扣带；MiniSat… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
PPT矿工 3份文件引用(2020–2022) 软件作者： 张楠；余斌；丛天；段振华；小帅元 相关软件： 德克萨斯州；代纳明；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
UltraSONIC公司 3份文件引用(2002) 软件作者： 西蒙·海恩斯（Simon D.Haynes）。；Henry G.Epsom。；理查德·库珀（Richard J.Cooper）。；Paul L.McAlpine。 相关软件： —— 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
拜勒-1 1份文件引用(2004) 软件作者： Sugie，Takashige；Keiji Horita；佐托鲁·霍索诺；伊藤、友爱；惠比寿崎，Toshikazu 相关软件： 爆炸；PSI-爆炸；FASTA… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；Abella… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；Tunç，Hünkar坎 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；洛佩斯·加西亚，佩德罗；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
见证人 1份文件引用(2018) 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；Christoph Matheja；诺尔，托马斯 相关软件： 朱格朗特 主要字段： 计算机科学（68-XX）
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
角砾岩 1份文件引用(2020) 软件作者： Sacharny，D。；亨德森，T。；西蒙斯，R。；Mitiche，A。；Welker，T。；X·范。 相关软件： GenPSAT；博客 主要字段： 计算机科学（68-XX）
等级/CPN 1份文件引用(2013) 软件作者： Michael Westergaard；德克·法兰德；克里斯蒂安·斯塔尔 相关软件： JUnit公司 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： TaPAS；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
毫安时 1份文件引用(2013) 软件作者： 奇塔·巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： —— 主要字段： 计算机科学（68-XX）
SEEAD公司 1份文件引用(2019) 软件作者： 汤占永、王磊、邝开元、薛超、龚晓庆、陈晓江、方定义、王郑 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SIFT公司 1份文件引用(2014) 软件作者： 奥兹索伊，梅尔特姆；德米特里·波诺马列夫；Abu-Ghazaleh，内尔；苏里、塔米什 相关软件： JFlow；电梯；M-Sim公司 主要字段： 计算机科学（68-XX）
SMBioNet公司 1份文件引用(2021) 软件作者： Khalis，Z.、Comet，J.P.、Richard，A.、Bernot，G。 相关软件： 图腾生物网；NuSMV公司 主要字段： 生物学和其他自然科学（92-XX）
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）