ACL2型 引用于287份文件(1998–2023) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
拔管器 258篇文献引用(2005–2024) 软件作者： 阿德里安·巴德利（Adrian Baddeley）、罗尔夫·特纳（Rolf Turner）、埃格·鲁巴克（Ege Rubak）；等 相关软件： R；pyuvdata；空间… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MIM公司 137篇文献引用(1995–2024) 软件作者： 大卫·爱德华兹 相关软件： 玻璃；TETRAD公司；R、 … 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
生物-PEPA 97篇文献引用(2008–2024) 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
托勒密 66份文件引用(1995–2022) 软件作者： Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong 相关软件： 大都市；卢斯特；状态流… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
第二代外国存托凭证 45篇文献引用(2000–2016) 软件作者： 正式系统 相关软件： 自旋蛋白；Z；马戏团… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
博客 40篇文献引用(2006–2023) 软件作者： 米尔奇，B。；Marthi，B。；罗素，S。；桑塔格，D。；Ong，D.L.公司。；A.科洛波夫。 相关软件： 教会；ProbLog；IBAL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
CORA公司 35篇文献引用(2016–2023) 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 相关软件： 流量*；SpaceEx；C2e2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PMaude公司 在30份文件中引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
歧管 28篇文献引用(1993–2023) 软件作者： 博桑格，M.M。；Arbab，F。；de Bakker，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；里奥；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辅助电源 27篇文献引用(1993–2023) 软件作者： Letichevsky，A.A。；Kapitonova，J.V。；科诺琴科股份有限公司。 相关软件： APS-1；hiCUDA；BSGP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；常微分方程（34-XX）…
J流量 23篇文献引用(2002–2022) 软件作者： 安德鲁·迈尔斯 相关软件： TaintDroid；哈斯克尔；TALX6… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Cadence SMV公司 22篇文献引用(2000–2018) 软件作者： 麦克米兰K·L。 相关软件： NuSMV；自旋蛋白；SPOT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
电子LOTOS 23篇文献引用（1998年至2016年） 软件作者： 罗伯特·克拉克；安娜·莫雷拉 相关软件： CADP；自旋蛋白；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CP逻辑 引用于20份文件(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布吕诺格 相关软件： ProbLog；PITA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
马氏体 在10份文件中引用（2009年至2017年） 软件作者： 对象管理集团。 相关软件： SysML系统；Uppaal；旋转… 主要字段： 计算机科学（68-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
利巴夫 12份文件引用(2011–2022) 软件作者： Benedikt Bollig；Joost-Pieter Katoen；卡斯滕·克恩（Carsten Kern）；马丁·勒克；丹尼尔·奈德；大卫·R·皮格登 相关软件： LearnLib；西格玛*；COMICS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
网络服务提供商 9份文件引用(2008–2018) 软件作者： 科马克·弗拉纳根（Cormac Flanagan）；帕特丽斯·戈德弗里德 相关软件： KLEE公司；自旋蛋白；veriSoft… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
美赞臣 9份文件引用（2006年至2019年） 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
ModelPlex公司 在10份文件中引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
梦想 11份文件引用（2018年-2023年） 软件作者： J·A·弗鲁特 相关软件： 坚果；辉光；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
EC2C-PAKA公司 9份文件引用(2007–2013) 软件作者： Byun、Jin Wook；Lee，Dong Hoon；林钟英 相关软件： CMQV+；HMQV公司 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·科萨巴·奥尔韦茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
普罗维奥拉 8份文件引用(2010–2016) 软件作者： 坦克墨水，雕刻；赫尔曼·格乌弗斯；詹姆斯·麦金纳（James McKinna）；弗里克·威迪杰克 相关软件： Coq；一般证明；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
丽贝卡 8份文件引用(2010–2022) 软件作者： 穆罕默德·马赫迪·贾古奥里；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦加尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
克莱纳代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 归档正式校对；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
MOFLON公司 1份文件引用(2006) 软件作者： Amelunxen，C.、Königs，A.、Rötschke，T.、Schürr 相关软件： 聚四氟乙烯；进度；AGG… 主要字段： 计算机科学（68-XX）
FALCON公司 8份文件引用(1996–2022) 软件作者： 张，J。 相关软件： 梅斯4；迷你卫星；ModGen… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者： 斯特凡诺·塞巴斯蒂奥；安德烈·范丁 相关软件： 莫德；PVeStA；皮尔洛… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
斯托克Hy 8份文件引用(2019–2023) 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
UMM公司 6篇文献引用(2007–2016) 软件作者： Yang Y、Gopalakrishnan G、Lindstrom G 相关软件： Coq；检查围栏；TSOTool… 主要字段： 计算机科学（68-XX）
验证 6篇文献引用(2021–2024) 软件作者： 托马索·德罗西（Tommaso Dreossi）、丹尼尔·弗雷蒙特（Daniel J.Fremont）、施洛蒙娜·戈什（Shromona Ghosh）、爱德华·金（Edward Kim）、哈迪·拉文巴赫（Hadi Ravanbakhsh）、马塞尔·巴斯奎兹·香拉特（Marcell Vazque 相关软件： Reluplex；NNV；阿波罗… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
跨国公司 7份文件引用(2019–2023) 软件作者： 丹尼尔·W·赫克 相关软件： QT测试；R；贝叶斯DA… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
KaDE公司 6篇文献引用(2019–2024) 软件作者： Camporesi，F。；Feret，J。；Lí，K.Q。 相关软件： BioNetGen；生物CHAM；生物-PEPA… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；常微分方程（34-XX）…
LaraDB公司 6篇文献引用（2018年-2023年） 软件作者： 迪伦·哈奇森、比尔·豪、丹·苏丘 相关软件： 马特朗；xarray；应用程序… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
变速箱 6篇文献引用(2011–2021) 软件作者： Otpuschennikov，I.、Semenov，A.、Kochemazov，S。 相关软件： 迷你卫星；氚；URSA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
巴赫 5份文件引用(2010–2018) 软件作者： Bu L、Li Y、Wang L和Li X 相关软件： SpaceEx；高科技；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CoSP公司 5份文件引用(2010–2018) 软件作者： Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件： AVISPA；EasyCrypt；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
细胞-模拟 4份文件引用(2008–2014) 软件作者： 肖恩·塞德瓦兹（Sean Sedwards）、托马索·马扎（Tommaso Mazza） 相关软件： BlenX；COPASI；生物-PEPA 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
kP工作台 5份文件引用(2015–2023) 软件作者： Gheorghe，M.、Ipate，F.、Mierla，L.、Konur，S。 相关软件： 自旋蛋白；NuSMV；莫德… 主要字段： 计算机科学（68-XX）
PSMaude公司 4份文件引用(2013–2023) 软件作者： 卢西安·本蒂亚（Lucian Bentea）；彼得·塞巴·奥维茨基 相关软件： PMaude；莫德；PVeStA… 主要字段： 计算机科学（68-XX）
澄清器 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；ACSL… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
SAAM II公司 4份文件引用(2000–2014) 软件作者： 巴雷特、P H R、贝尔、B M、科贝利、C、戈尔德、H、舒米茨基、A、维奇尼、P、福斯特、D M 相关软件： 蟒蛇；wxPython；Matplotlib… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
PyDL8.5型 3份文件引用(2022) 软件作者： Aglin，G.，Nijssen，S.，Schaus，P。 相关软件： UCI-ml；GOSDT；古罗比… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
Simflowny公司 3份文件引用(2018–2021) 软件作者： A.Arbona、B.Minano、A.Rigo、C.Bona、C.Palenzuela、A.Artigues、C.Bona-Casas、J.Masso 相关软件： FEniCS；SyFi；升压… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
UML秒 2份文件引用(2014–2018) 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件： 杂烩；TGV；LUSTRE… 主要字段： 计算机科学（68-XX）
阿根廷 3份文件引用(2002–2009) 软件作者： Serge S.Tratch。；Marina S.Molchanova。；尼古拉·泽菲罗夫。 相关软件： – 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
生物模型分析仪 2份文件引用(2017–2021) 软件作者： 扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·A·霍尔。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；尼尔·皮特曼；梅克Riechert；尼基塔·斯科洛夫 相关软件： 漫长的时期；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CMBSlib银行 3份文件引用(2005–2008) 软件作者： 弗朗索瓦·法赫斯·西尔维安·索利曼 相关软件： 生物CHAM；KEGG；隔间… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
导线 3份文件引用(2018–2021) 软件作者： 卡米利，马特奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚；网飞公司 相关软件： MongoDB；开放星云；沙发数据库… 主要字段： 计算机科学（68-XX）
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
开放式CAL 3份文件引用(2020–2022) 软件作者： 大卫·斯帕塔罗；多纳托·德安布罗西奥（Donato D'Ambrosio）；阿莱西奥·德兰戈；等人。 相关软件： CANv2；PYR；Kokkos… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
POOSL公司 3份文件引用（2003年至2022年） 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
粉 3份文件引用(2019–2023) 软件作者： 内森·埃文斯（Nathan J.Evans）；杰夫·安妮斯 相关软件： jpnb4；贝叶斯DA；WinBUGS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PyBioNet适配 1份文件引用(2020) 软件作者： 密特拉，ED；苏德曼，R。；科尔文，J。；艾伦科夫。；胡，A。；索罗，HM；RG波斯纳；拉瓦切克，WS 相关软件： COPASI；友好；碲… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）
SL2SX系列 3份文件引用(2019–2023) 软件作者： 斯特凡诺·米诺波利；戈兰·弗雷斯 相关软件： Simulink；Isabelle/HOL；Matlab… 主要字段： 计算机科学（68-XX）
手榴弹大师 2份文件引用(2020–2021) 软件作者： 文森特·达诺斯；托拜厄斯·海因德尔；霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；桑德罗·斯塔基 相关软件： KappaTools；BGL；MedOlDatschgerl… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
高斯 2份文件引用(2011–2018) 软件作者： 罗伯特·帕尔默；史蒂夫·巴鲁斯（Steve Barrus）；余阳；Ganesh Gopalakrishnan；罗伯特·M·柯比 相关软件： ISP；自旋蛋白；SLAM… 主要字段： 计算机科学（68-XX）
混合跟踪验证程序 2份文件引用(2012–2017) 软件作者： 黄振奇；萨扬·密特拉 相关软件： GRKLib；S-TaLiRo；状态流… 主要字段： 动力系统与遍历理论（37-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
麦道 1份文件引用（2013年） 软件作者： 乔纳森·博格多尔、亚历山大·戴维、阿恩德·哈特曼斯、霍尔格·赫尔曼斯 相关软件： Uppaal；PHAVer；SpaceEx… 主要字段： 计算机科学（68-XX）
在轨 1份文件引用（2014年） 软件作者： James，P.、Trumble，M.、Treharne，H.、Roggenbach，M.和Schneider，S。 相关软件： 模型案例；PVSio-网；E定理证明器… 主要字段： 计算机科学（68-XX）
开放MADS 1份文件引用(2017) 软件作者： 埃尔梅森·C·安德拉德。；阿尔维斯，马塞洛；马托斯、鲁本斯；布鲁诺·席尔瓦；保罗·马西尔 相关软件： – 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Z34生物 2份文件引用(2016–2023) 软件作者： B.Yordanov、C.Wintersteiger、Y.Hamadi、H.Kugler 相关软件： z3；玫瑰花；Yosys… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
ArgQL公司 1份文件引用(2017) 软件作者： Zografistou，Dimitra；弗洛里斯（Flouris），乔戈斯（Giorgos）；普列克索萨基斯，迪米特里斯 相关软件： openCypher；SPARQL公司 主要字段： 计算机科学（68-XX）
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA 相关软件： 罗丹；github；核心ASM… 主要字段： 计算机科学（68-XX）
冷却泡沫 1份文件引用(2020) 软件作者： 埃托雷·法迪加；尼古拉·卡萨里；阿莱西奥·苏曼；米歇尔·皮内利 相关软件： F-图表；CoolProp；流体校准… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
联合验证人 1份文件引用(2023) 软件作者： 是的，埃里克；Hitaj，Briland；Owre，Sam；梅纳·奎梅纳；Natarajan Shankar 相关软件： TacTok；游戏Pad；深度数学… 主要字段： 计算机科学（68-XX）