E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： 吸血鬼；TPTP；SPASS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
班德拉 105份文献中引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
普罗米拉 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
阿斯卡隆 6篇文献引用(2002–2012) 软件作者： 托马斯·法林格；亚历山德鲁·朱格鲁（Alexandru Jugravu）；萨布里·普拉纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
MCGP公司 12份文件引用（2008年至2021年） 软件作者： Gal Katz；多龙·贝利德 相关软件： 棱镜；LTL2BA；旋转… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
CertiKOS公司 在11份文件中引用(2017–2022) 软件作者： Gu，R.，Shao，Z.，Chen，H.，Wu，X.N.，Kim，J.，Sjöberg，V.，Costanzo，D。 相关软件： seL4；Coq；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CRC 3号机组 9份文件引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞盖尔 相关软件： 莫德；MTT；第3章… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
模式图 5份文件引用(1997–2017) 软件作者： F.贾哈尼安；A.K.Mok先生 相关软件： 酯类；Uppaal；Kronos… 主要字段： 数理逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
单轨 6篇文献引用(2009–2017) 软件作者： 凯特林·萨多夫斯基；斯蒂芬·弗伦德（Stephen N.Freund）；科马克·弗拉纳根 相关软件： 雾化器；速度场；烟尘… 主要字段： 计算机科学（68-XX）
MS_出口 5份文件引用(2016–2022) 软件作者： 马塞洛·佩林 相关软件： 风险度量；量化风险管理；CAViaR公司 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
德克萨斯州 5份文件引用(2021–2022) 软件作者： C.Lemieux、D.Park、I.Beschatnikh 相关软件： PPTLMiner；S-TaLiRo；Daikon… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
PrologCheck（序言检查） 引用于3份文件(2014–2022) 软件作者： 阿马拉尔（Cláudio）；马里奥弗洛里多；维托尔·桑托斯·科斯塔 相关软件： K校准仪；K工具；快速检查… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
PyBioNet适配 1份文件引用(2020) 软件作者： 密特拉，ED；苏德曼，R。；科尔文，J。；艾伦科夫。；胡，A。；索罗，HM；波斯纳，RG；拉瓦切克，WS 相关软件： 科帕西；AMIGO公司；碲… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）
AJPF公司 2份文件引用(2013–2018) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；Michael Fisher；马特·韦伯斯特 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 计算机科学（68-XX）
加密验证 2份文件引用(2012–2013) 软件作者： 大卫·卡德；布鲁诺·布兰切特 相关软件： ASPIER公司；OCaml；密码点… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASDeX公司 1份文件引用（2018年） 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
快速恢复 在0个文档中引用 软件作者： Stefan Karlsson、Adnan Causevic、Daniel Sundmark 相关软件： RESTler公司；PostgreSQL；科特林… 主要字段： ——
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）