CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
清爽 35篇文献引用(1994–2023) 软件作者： M Heiner、M Herajy、F Liu、C Rohr、M Schwarick 相关软件： 玛丽；CPN/工具；日晷… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）…
愤怒 24篇文献引用(2007–2023) 软件作者： 迈克尔·吉廷斯（Michael Gittings）；罗伯特·韦弗（Robert Weaver）；克洛弗，迈克尔；托马斯·贝特拉赫；尼尔森·伯恩；Robert Coker；Edward Dendy；Robert Hueckstaedt；新，Kim；Oakes，W.Rob；兰塔，戴尔；瑞安·斯特凡 相关软件： HLLE；闪光；卡斯特罗… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MARTE公司 10篇文献引用(2009–2017) 软件作者： 对象管理集团。 相关软件： SysML；Uppaal；旋转… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方，易；本杰明·戈德伯格（Benjamin Goldberg）；胡莹；阿米尔·普努利；勒诺尔·扎克 相关软件： CVT；Coq；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
可控硅 10篇文献引用(2000–2018) 软件作者： 伊曼·布尔吉巴；贝莱德·莫阿 相关软件： 自旋蛋白；NuSMV；PVS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
连续可变电压 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
VIP工具 12份文件引用(2008–2022) 软件作者： Bergenthum，R.、Desel，J.、Lorenz，R.和Mauser，S。 相关软件： 红矿工；基因；石化… 主要字段： 计算机科学（68-XX）
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
MUSer2系列 15篇文献引用(2013–2023) 软件作者： 安东·贝洛夫（Anton Belov）；若昂·西尔瓦侯爵 相关软件： MiniSat；sharpSAT；显示… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MFIX-DEM公司 14篇文献引用(2015–2022) 软件作者： 拉胡尔·加格；珍妮·加尔文；李廷文；Sreekanth Pannala公司 相关软件： OpenFOAM；车灯；亮点… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
伽利略 10篇文献引用(2000–2017) 软件作者： Joanne Bechta Dugan、Kevin J.Sullivan、David Coppit 相关软件： NuSMV；DFTCalc；DIFtree… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
恐龙皮 12份文件引用(2016–2023) 软件作者： Abdelsamie，Abouelmagd；戈登，弗鲁；蒂莫·奥斯特（Timo Oster）；Felix Dietzsch；加尼加，加博；多米尼克·塞韦宁 相关软件： 坎特拉；2DECOMP；GitHub… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CoVaC公司 10篇文献引用(2009–2023) 软件作者： Zaks，A.，Pnueli，A。 相关软件： z3；SeaHorn公司；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾尔默 引用于7份文件(2013–2023) 软件作者： Gollan，R.J。；雅各布斯，P.A。 相关软件： 澳大利亚统计局；达科塔；AMLET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
UniForM公司 引用于7份文件(1999–2011) 软件作者： Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件： Uppaal；FranTk；GHC… 主要字段： 计算机科学（68-XX）
杰克 4份文件引用(2004–2011) 软件作者： Gilles Barthe、Lilian Burdy、Julien Charles、Benjamin Grégoire、Marieke Huisman、Jean-Louis Lanet、Mariela Pavlova、Antoine Requet 相关软件： 卡拉卡拉；JML；Why3… 主要字段： 计算机科学（68-XX）
再现BLAS 6篇文献引用(2020–2023) 软件作者： P.Ahrens、H.D.Nguyen、J.Demmel 相关软件： MPFR；mctoolbox；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
温迪 引用于3份文件(2011–2020) 软件作者： 尼尔斯·洛曼；丹妮拉·温伯格 相关软件： BPEL2oWFN；LOTOS；沃夫兰… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
查理 引用于3份文件(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳 相关软件： 清爽；玛丽；可视化DSD… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
验证日志 4份文件引用(2008–2018) 软件作者： 乔治·科埃略（Jorge Coelho），马里奥·弗洛里多（Mário Florido） 相关软件： CLP（柔性）；定理；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CGBayes网络 2份文件引用(2016) 软件作者： McGeachie，M.J。；Chang，H.-H。；魏斯，S.T。 相关软件： 学习；UCI-ml；插入符号… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
易用VVUQ 2份文件引用(2022–2023) 软件作者： 罗宾·理查德森（Robin A.Richardson）、大卫·怀特（David W.W.W.W.Wright）、沃特·爱德林（Wouter Edeling）、维塔塔斯·扬库斯卡斯（Vytautas Jancauskas）、贾拉尔·拉赫利利（Jalal Lakhlili） 相关软件： 不确定性；UQLab；混沌间谍… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HyDI公司 引用于3份文件(2013–2015) 软件作者： Cimatti A、Mover S、Tonetta S 相关软件： SpaceEx；数学SAT；HySAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
DBSolve公司 2份文件引用(2009–2016) 软件作者： – 相关软件： GNA；COPASI；欧洲电力公司 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
鼓 2份文件引用(2020–2023) 软件作者： 特洛伊·巴特勒；哈里·哈库拉 相关软件： 贝叶斯DA；ADCIRC；数学软件 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
Firedrake液体 2份文件引用(2020–2022) 软件作者： C.T.Jacobs，M.D.Piggott 相关软件： PETSc/TS；ADCIRC；FEniCS… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
ITPN-全焊 1份文件引用(2021) 软件作者： 艾琳娜·帕西尼·诺莫维奇（Elina Pacini Naumovich）；贝尔纳迪，西蒙娜；马可·格里鲍多 相关软件： – 主要字段： 运筹学、数学规划（90-XX）；系统论；对照（93-XX）
maDG公司 2份文件引用(2021) 软件作者： 洛里（Mark W.Lohry）。；路易吉·马蒂内利 相关软件： HLLE；SU2；开放式泡沫 主要字段： 数值分析（65-XX）；流体力学（76-XX）
pdFOAM公司 2份文件引用(2017–2018) 软件作者： Capon，C.J。；布朗，M。；白色，C。；Scanlon，T。；R.R.博伊斯。 相关软件： DRACO公司；PicUp3D；莫纳科… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；天文学和天体物理学（85-XX）
转向器电源 2份文件引用(2016–2018) 软件作者： A.Hazra、R.Mukherjee、P.Dasgupta、A.Pal、K.Harer、A.Banerjee和S.Mukhersjee 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
符号化 2份文件引用(2012–2013) 软件作者： 卡提克·帕塔比拉曼；Nithin M.Nakka。；Kalbarczyk，兹比格涅夫T。；拉维珊卡·K·伊耶。 相关软件： Stratego；OBJ咖啡馆；MMT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
XACC公司 1份文件引用(2022) 软件作者： 麦卡斯基，A.J。；杜米特雷斯库，E.F。；Liakh，D。；陈，M。；冯·W。；洪堡，T.S。 相关软件： LLVM；开放费米子；问题#… 主要字段： 量子理论（81-XX）
美国国际开发署 在0个文档中引用 软件作者： 阿尔伯特·波杜森科（Albert Podusenko）、巴特·范·埃尔普（Bart van Erp）、马格努斯·库达尔（Magnus Koudahl）、贝尔特·德弗里斯（Bert de Vries） 相关软件： 反向差异.jl；转发差异；图灵… 主要字段： –
ASDeX公司 1份文件引用(2018) 软件作者： 马明宇（Mingyu Ma）、拉尔斯·赫德里奇（Lars Hedrich）、克里斯汀·斯波勒（Christian Sporrer） 相关软件： MiniSat；通过；AMT… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
BIGHORN公司 1份文件引用(2019) 软件作者： 爱达荷州国家实验室（INL）：Xia，Yidong；大卫·安德斯（David Andrs）；理查德·查尔斯·马蒂诺 相关软件： 重构；Matlab；SIERRA… 主要字段： 流体力学（76-XX）
立方体AMR 1份文件引用（2023年） 软件作者： 米歇尔·查兹马诺拉基斯（Michail Chatzimanolakis）；韦伯，帕斯卡尔；费边·沃梅林格；彼得罗·库穆塔科斯 相关软件： github；odmd；OctNet… 主要字段： 流体力学（76-XX）；统计力学，物质结构（82-XX）
弗勒瓦 在0个文档中引用 软件作者： Kadow，C.、Illing，S.、Lucio-Eceiza，E.E.、Bergemann，M.、Ramadoss，M.，Sommer，P.S.、Kunst，O.、Schartner，T.、Pankatz，K.、Grieger，J.、Schuster，M.和Richling，A.、Thiemann，H.、Kirchner，I.、Rust，H.W.、Ludwig，T.，Cubasch，U.、Ulbrich，U。 相关软件： ESMValTool；MurCSS；解决方案… 主要字段： –
HALO3D系统 在0个文档中引用 软件作者： 文森特·卡索；张文波；马利卡琼（Mallikarjun）、什鲁塔基尔蒂（Shrutakeerti）；哈巴什（Wagdi G.Habashi）。；高，宋；阿伯法兹·卡沙尼 相关软件： – 主要字段： 流体力学（76-XX）
空手道 1份文件引用(2009) 软件作者： 加多，J。；Hegedüs，Cs。；Hegyi，Gy。；凯雷斯图里，A。；Makai，M。；Maráczy，Cs。；M·特尔比斯。 相关软件： 间隙 主要字段： 拓扑群，李群（22-XX）；统计力学，物质结构（82-XX）
MATF公司 1份文件引用(2020) 软件作者： M.S.Khan。；M.I.Khan。；苏联马利克。；Khalid，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
尖叫 在0个文档中引用 软件作者： Rowland J.C.、Shelef E.、Pope P.A.、Muss J.、Gangodagamage C.、Brumby S.P.等人。 相关软件： 床-ATM；RVR曲径；PyRIS… 主要字段： –
VECMAtk公司 在0个文档中引用 软件作者： 格伦、D、理查森、R、A、赖特、D、W、扬卡斯、V、辛克莱、R、卡尔索弗、P、瓦索、M、阿拉布尼贾德、H、皮昂泰克、T、科普塔、P、博萨克、B、拉赫利利、J、霍恩、O、苏莱门诺娃、D、埃德琳、W、克罗姆林、D、尼基索娃、A；Coveney，P V公司 相关软件： 不确定性；SQL炼金术；UQLab… 主要字段： –