Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
PVS公司 617文件引用(1993–2023) 软件作者： Sam Owre、Natarajan Shankar、John Rushby 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；戴维斯，吉姆 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LOTOS公司 135份文件引用(1988–2023) 软件作者： Bolognesi，T.、Brinksma，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal公司；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
红宝石 22篇文献引用(2002–2017) 软件作者： 弗拉纳根博士。；松本，Y。 相关软件： 蟒蛇；JavaScript；PERL… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JUnit公司 16篇文献引用(2002–2022) 软件作者： 尹锡悦；Gary T.Leavens。 相关软件： JML；埃菲尔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
qGCL公司 25篇文献引用(2000–2024) 软件作者： 保罗·祖利亚尼 相关软件： QPL；质量管理清单；Quipper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯，伯纳黛特；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
电子LOTOS 23篇文献引用(1998–2016) 软件作者： 罗伯特·克拉克；安娜·莫雷拉 相关软件： CADP；自旋蛋白；洛托斯… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
HOL-OCL公司 13份文件引用(2002–2016) 软件作者： 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 相关软件： ATL；凯伊；ETPS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
半人马座 19份文件引用(1991–2022) 软件作者： Borras，P.、Clément，D.、Despeyroux，Th.、Incerpi，J.、Kahn，G.、Lang，B.、Pascual，V、 相关软件： K校准仪；Coq；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伦敦商学院 16篇文献引用（2010年至2022年） 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 相关软件： 生物-PEPA；BioNetGen；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
岛国 9份文件引用(2006–2016) 软件作者： Marc Esteva、David de la Cruz、Carles Sierra 相关软件： 社会可视化者；杰森；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
伊莎贝尔/马戏团 12份文件引用(2013–2017) 软件作者： Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff 相关软件： Isabelle/HOL；电源保护；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；Pessaux，F.、Weia，P.、Doligez，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
穆瓦尔 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DEDALE公司 7份文件引用(2001–2010) 软件作者： S.Grumbach、P.Rigaux、L.Segoufin 相关软件： CCUBE；抒情的；Oracle… 主要字段： 近似和展开（41-XX）；计算机科学（68-XX）
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： LOTOS；并发工作台；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
C-SPARQL公司 6篇文献引用（2010年至2022年） 软件作者： 大卫·弗朗西斯科·巴比里；丹尼尔·布拉加；塞里、斯特凡诺；伊曼纽尔州德拉瓦莱；Grossniklaus，迈克尔 相关软件： SPARQL；LARS；Clingo… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
卢特斯 5份文件引用(1999–2012) 软件作者： 杜布斯克，L。；Quabdeselam，F。；巴黎，I。；Richier，J.-L。；北卡罗来纳州佐安诺。 相关软件： ATGen；光泽；网关… 主要字段： 计算机科学（68-XX）
SyncGen（同步发电机） 7份文件引用(2004–2016) 软件作者： 邓向华；马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；Masaaki Mizuno 相关软件： 班德拉；ESC/Java；PVS… 主要字段： 计算机科学（68-XX）
RT-ASLAN公司 3份文件引用(1994–2002) 软件作者： 奥尔海默B，凯默R A。 相关软件： 酯类；Ada95；ASTRAL公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
澄清器 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；ACSL… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；LGSVL… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
Spi2Java软件 3份文件引用(2007–2014) 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；Naiad… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi-calculi；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
生物模型分析仪 2份文件引用(2017–2021) 软件作者： 艾哈迈德，扎拉；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·霍尔（Benjamin A.Hall）。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；梅克Riechert；尼基塔·斯科洛夫 相关软件： 漫长的时期；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PiXL系列 1份文件引用(2007) 软件作者： 玛丽亚·德尔马·加拉多（del Mar Gallardo）；马丁内斯，杰苏斯；佩德罗·梅里诺；努涅斯，巴勃罗；埃内斯托·皮门特尔 相关软件： 凯撒；CAESAR_SOLVE公司；班德拉… 主要字段： 计算机科学（68-XX）
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M.（冯登，J.P.M.）。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
PyBioNet适配 1份文件引用(2020) 软件作者： 密特拉，ED；苏德曼，R。；科尔文，J。；艾伦科夫。；胡，A。；索罗，HM；RG波斯纳；拉瓦切克，WS 相关软件： COPASI；AMIGO公司；碲… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）
塞马诺 3份文件引用(1976–1984) 软件作者： 安德森，E.R。；Belz，F.C。；英国布鲁姆。 相关软件： ALGOL 68；Refal；阿尔戈60 主要字段： 一般代数系统（08-XX）；交换代数（13-XX）；群论与推广（20-XX）…
TimeML（时间ML） 3份文件引用(2014–2020) 软件作者： Ingria，B.和Pustejovsky，J。 相关软件： C4.5；威卡；LIBLINEAR… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；Coq；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ADL2（ADL2） 2份文件引用(1995–2001) 软件作者： Masaharu Obayashi；久保田；Shane P.McCarron；莱昂内尔·马勒 相关软件： ADL公司 主要字段： 计算机科学（68-XX）
迷你枫木 2份文件引用(2012) 软件作者： 穆罕默德·泰穆尔·汗；沃尔夫冈·施赖纳 相关软件： Why3；枫树；差异DifferenceDifferential… 主要字段： 计算机科学（68-XX）
网络草图 2份文件引用(2010–2012) 软件作者： 阿泽州贝斯塔夫罗斯；阿萨夫·科福尔；笔记本电脑，Andrei；迈克尔·J·奥森。 相关软件： 伊莎贝尔；自旋蛋白；马蒂塔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
在轨 1份文件引用(2014) 软件作者： James，P.、Trumble，M.、Treharne，H.、Roggenbach，M.和Schneider，S。 相关软件： 模型案例；PVSio-网；E定理证明器… 主要字段： 计算机科学（68-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施赖纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；Coq；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ASDeX公司 1份文件引用(2018) 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： 迷你卫星；通行证；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc验证；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
DEVS-鲁比 1份文件引用(2018) 软件作者： R.Franceschini、P.-A.Bisgambiglia、P.Bisgammiglia和D.R.C.Hill 相关软件： 多PDEVS 主要字段： 系统论；控制（93-XX）
差异DifferenceDifferential 1份文件引用(2012) 软件作者： 穆罕默德·泰穆尔·汗；沃尔夫冈·施赖纳 相关软件： Why3；迷你枫树；枫树 主要字段： 计算机科学（68-XX）
PAFSV公司 在0个文档中引用 软件作者： 曼，卡洛克；Lei，Chi-Un；赫曼吉·K·卡普尔。；托马斯·克里拉维修斯（Tomas Krilavicius）；马杰明；张楠 相关软件： Verilog公司；Uppaal公司；自旋蛋白 主要字段： 计算机科学（68-XX）
PuRSUE公司 1份文件引用(2020) 软件作者： 马尔塞洛·M·贝尔萨尼。；索尔多，马蒂奥；克劳迪奥·蒙吉（Claudio Menghi）；佩利奇奥内，帕特里齐奥；罗西，马蒂奥 相关软件： LTLMoP；活性氧；NuSMV… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
SOTER公司 1份文件引用(2019) 软件作者： Ankush Desai、Shromona Ghosh、Sanjit A.Seshia、Natarajan Shankar、Ashish Tiwari 相关软件： FaST机架 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
斯塔迪 1份文件引用(2018) 软件作者： 纪尧姆·佩蒂奥（Guillaume Petiot）、尼古拉·科马托夫（Nikolai Kosmatov）、阿兰·乔治蒂（Alain Giorgetti）、雅克·朱利安德（Jacques Julliand） 相关软件： GitHub；PathCrawler；Frama-C… 主要字段： 计算机科学（68-XX）
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）