自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；托米·西尔贾宁 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SATO公司 190份文件引用(1996–2023) 软件作者： 张，H 相关软件： 糠；伯克敏；PSATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SETHEO公司 引用于118篇文献(1990–2022) 软件作者： 莱茨，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者： 简·希尔斯顿；http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件： 生物-PEPA；棱镜；生物活性炭… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
模糊逻辑工具箱 66份文件中引用(1998–2022) 软件作者： 网织物；北卡罗来纳州格利。；Jang，J.S。 相关软件： Matlab；ANFIS；Simulink… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Nitpick公司 79份文件引用（1999年-2023年） 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
WASP公司 63份文件引用(2014–2023) 软件作者： 阿尔维亚诺，马里奥；多达罗、卡明；沃尔夫冈·费伯（Wolfgang Faber）；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
现场 61篇文献引用(2005–2023) 软件作者： Duret-Lutz，A。；波特雷诺。 相关软件： 自旋蛋白；LTL2BA；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
生物CHAM 52篇文献引用(2005–2024) 软件作者： Chabrier，N.、Fages，F.、Soliman，S。 相关软件： 生物-PEPA；棱镜；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
基础知识 43篇文献引用（2011年-2023年） 软件作者： 罗伯特·布雷顿；阿兰·米什琴科 相关软件： MiniSat；爱格；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
状态流 43篇文献引用(1989–2023) 软件作者： 数学工程公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： 谈判；基马；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
棱镜 41篇文献引用(2006–2022) 软件作者： 佐藤，T.，卡梅亚，Y。 相关软件： ProbLog；CP逻辑；PITA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
HIP（热等静压） 33篇文献引用(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；汤尚乐；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MCK公司 34份文件引用(2004–2023) 软件作者： 罗恩·范德梅登；彼得·甘米（Peter Gammie）；Kai Baukus；杰里米·李；程洛；黄晓伟 相关软件： MCMAS；VerICS；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
爪哇风扇 30篇文献引用(2004–2018) 软件作者： 阿扎德·法尔赞；陈峰；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
内核-叶 引用于31份文件(1989–2013) 软件作者： 埃利奥·乔瓦内蒂；乔治·列维；Corrado Moiso；帕拉米德斯猫 相关软件： 巴贝尔；玩具；咖喱… 主要字段： 计算机科学（68-XX）
南美林猫 23篇文献引用(2007–2022) 软件作者： 埃米娜·托拉克；丹尼尔·杰克逊 相关软件： z3；Isabelle/HOL；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PRISM-游戏 30篇文献引用(2013–2022) 软件作者： 陈、陶璐；Forejt，Vojtěch；公司；玛尔塔·奎亚特科夫斯卡；戴维·帕克；西马提斯，艾斯蒂斯 相关软件： 棱镜；主旨；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： 灌篮；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
达尔文 28篇文献引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TLA公司 29篇文献引用(1992–2023) 软件作者： L.兰波特 相关软件： 自旋蛋白；z3；加号… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
BPEL2oWFN型 在25份文件中引用(2007–2020) 软件作者： 尼尔斯·洛曼 相关软件： 奶牛；BPEL2PN；温迪… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
LTSmin公司 在25份文件中引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布罗姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
S-TaLiRo公司 26篇文献引用（2011年-2023年） 软件作者： 安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PITA公司 24篇文献引用（2010年-2023年） 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
罗塞塔 21篇文献引用(1998–2021) 软件作者： Øhrn，Aleksander；Komorowski，Jan；安德烈·斯科伦（Andrzej Skowron）；彼得·西纳克 相关软件： UCI-ml；LERS；RSES… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
VESTA公司 22篇文献引用(2007–2021) 软件作者： Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件： 棱镜；莫德；霍尔… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
毒蛇 在25份文件中引用(2016–2023) 软件作者： 彼得·穆勒（Peter Müller）、马尔特·施沃尔霍夫（Malte Schwerhoff）、亚历山大·萨默斯（Alexander J.Summers） 相关软件： VeriFast；达夫尼；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
E-Darvin公司 23篇文献引用(2006–2023) 软件作者： 彼得·鲍姆加特纳（Peter Baumgartner）；比约恩·佩尔泽；蒂内利、塞萨尔；亚历山大·富克斯（Alexander Fuchs）；汉斯·德尼维尔 相关软件： 达尔文；梅斯4；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GNT公司 引用于20份文件(1997–2013) 软件作者： 汤米·詹胡宁；伊尔卡·尼梅尔；帕特里克·西蒙斯；托米·詹胡宁 相关软件： 亚萨特；平滑；模型… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
马特佩特 14篇文献引用(1989–2019) 软件作者： 迈克尔·比森 相关软件： 哈斯克尔；动态数学；MathXpert… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
semprop公司 19份文件引用(2002–2023) 软件作者： 莱茨，莱因霍尔德 相关软件： Quaffle；布洛克；QUBOS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
乔托 17篇文献引用（2001年至2022年） 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者： 乔马克，P。；Lomuscio，A。；莫加维罗，F。；A.穆拉诺。 相关软件： MCMAS；摩卡；鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： Isabelle/HOL；马戏团；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统理论；控制（93-XX）
聚乙烯醇水杨酸 14篇文献引用（2011年-2023年） 软件作者： 阿尔图尔基，M.，梅塞格尔，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
中国科学院科学院 18篇文献引用（2018年-2023年） 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；格林戈… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
薄层色谱法 15篇文献引用(2000–2023) 软件作者： Lamport L、Yu Y 相关软件： 自旋蛋白；TLAPS；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
拉丁语 17篇文献引用(2011–2021) 软件作者： Codescu，Mihai；霍罗扎尔、富利亚；Michael Kohlhase；莫萨科夫斯基（Till Mossakowski）；弗洛里安·拉贝 相关软件： MMT；OMDoc；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
雷神之锤 16篇文献引用(2011–2022) 软件作者： D.莫诺 相关软件： RAReQS；z3；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
可视信息系统 10篇文献引用(2005–2015) 软件作者： Brayton，R.K.等人。 相关软件： NuSMV；自旋蛋白；LTL2BA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HyFIS公司 引用于9份文件(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
OPTYap公司 14篇文献引用（2001年至2022年） 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
临时雇员 15篇文献引用(2004–2021) 软件作者： 乌尔里希·赫斯塔特；鲍里斯·科涅夫（Boris Konev）；亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： VAMPIRE公司；TSPASS；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
科根（Cogent） 11份文件引用(2005–2018) 软件作者： 库克，拜伦；Daniel Kroening；娜塔莎·莎莉吉娜 相关软件： 卫星抗体；简化；旋转… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
帕戈达 12份文件引用(2007–2015) 软件作者： Wirsing，Martin；Denker，Grit公司；卡罗琳·塔尔科特；安迪·波乔（Andy Poggio）；Briesemeister琳达 相关软件： 莫德；科莱姆；重新设置（amp；E）… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
阳光 13份文件引用(2014–2023) 软件作者： 罗伯托·阿马迪尼；毛里齐奥·加布里埃利；雅各布·毛罗 相关软件： 萨齐拉；微量锌；变形杆菌… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
并发工作台 12份文件引用(2000–2022) 软件作者： P.Stevens等人 相关软件： CADP；SIGREF公司；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
E-KRHper公司 11份文件引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
工厂 11份文件引用(2011–2020) 软件作者： 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件： 教堂；IBAL；ProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SMV公司 13份文件引用(1986–2018) 软件作者： Ed Clarke；K.L.McMillan；E.A.艾默生；J.R.伯奇 相关软件： 高科技；PHAVer公司；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.和Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；Bellerophon… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
猫头鹰 12份文件引用(2018–2022) 软件作者： Křetínsk \345]，Jan；托比亚斯·梅根多尔弗；所罗门·西克特 相关软件： SPOT；条纹；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
穆瓦尔 8份文件引用（2010年-2023年） 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS软件… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
阿克拉 10篇文献引用(2005–2011) 软件作者： 乔瓦尼·佩祖洛（Giovanni Pezzulo）；Gianguglielmo·卡尔维 相关软件： 古巴国防部；可可；黛安娜… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
红衣主教 10篇文献引用(2007–2020) 软件作者： 弗朗西斯科·阿泽夫多 相关软件： CPGraph；Z/EVES；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
冲锋！ 10篇文献引用(2012–2021) 软件作者： 杰斯珀·本特森；Jonas Braband Jensen；拉尔斯·比克达尔 相关软件： Coq；工具链；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据日志LITE 引用于9份文件(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；计算TW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
EAGLE公司 10篇文献引用(2015–2021) 软件作者： 亚历克西斯·图米；朱利安·古铁雷斯（Julian Gutierrez）；迈克尔·伍尔德里奇 相关软件： 棱镜；PRISM游戏；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
IDLVALID公司 10篇文献引用(2001–2013) 软件作者： 帕里托什·K·潘迪亚。 相关软件： DCVALID；Uppaal；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
国内流离失所者3 引用于9份文件(2015–2020) 软件作者： 莫里斯·布鲁诺（Maurice Bruynooghe）；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；Ramon，Jan；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
莱拉 引用于9份文件(2002–2011) 软件作者： 安娜·齐安波里尼（Anna Ciampolini）；伊芙琳娜·拉姆；梅洛，保拉；保罗·托罗尼 相关软件： KQML；Qu-Prolog；数据日志… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统理论；控制（93-XX）
MAVEN公司 引用于9份文件(2007–2013) 软件作者： Max Goldman；艾米莉亚·卡茨；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
元游戏 引用于9份文件(1991–2009) 软件作者： 马库斯·穆勒·奥尔姆（Markus Müller-Olm）、海森柳（Haiseung Yoo） 相关软件： 自旋蛋白；GDL；jETI公司 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
多媒体卡 引用于9份文件(2003–2020) 软件作者： 杨平；罗马克里希南，C.R。；斯科特·斯莫尔卡。 相关软件： MWB；MCK；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
时刻2 引用于9份文件(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ARENA公司 引用于9份文件(2002–2018) 软件作者： 罗克韦尔自动化公司 相关软件： Matlab；SPSS软件；DFBOX_IMPR… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
博西 引用于9份文件(2019–2021) 软件作者： 彼得·费蒙维尔（Peter Faymonville）；芬克贝纳（Bernd Finkbeiner）；Leander Tentrup公司 相关软件： 条纹；SPOT；相思树+… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
N3逻辑 7份文件引用(2008–2017) 软件作者： 蒂姆·伯纳斯-李（Tim Berners-Lee）；Dan Connolly；拉拉纳·卡加尔；沙夫，约西；吉姆·亨德勒 相关软件： 平滑；MWeb；SPARQL… 主要字段： 计算机科学（68-XX）
OCRA公司 引用于9份文件(2015–2022) 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
RelNN公司 引用于9份文件(2020–2023) 软件作者： 塞耶德·梅赫兰·卡泽米（Seyed Mehran Kazemi）、大卫·普尔（David Poole） 相关软件： ProbLog；亚当；DeepProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
TILOS公司 6篇文献引用(2005–2022) 软件作者： Dunlop AE鱼缸JP 相关软件： JiffyTune；兰斯洛特；Mosek… 主要字段： 组合数学（05-XX）；光学、电磁理论（78-XX）；运筹学，数学编程（90-XX）…
合金* 7份文件引用(2017–2023) 软件作者： Milicevic，A.，Near，J.P.，Kang，E.，Jackson，D。 相关软件： z3；波尔多；GitHub… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
SCTL-MUS公司 5份文件引用(2001–2006) 软件作者： 帕佐斯·阿里亚斯，何塞·J。；加西亚·杜克（Jorge García Duque） 相关软件： PVS；SLAM；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
验证 6篇文献引用(2021–2024) 软件作者： Tommaso Dreossi、Daniel J.Fremont、Shromona Ghosh、Edward Kim、Hadi Ravanbakhsh、Marcel Vazquez Chanlatte、Sanjit A.Seshia 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）