NuSMV公司 281份文件引用(1999–2024) 软件作者： 亚历山德罗·西马蒂；埃德蒙·克拉克；福斯托·金西格里亚（Fausto Giunchiglia）；马尔科·罗弗里；罗伯特·卡瓦达（Roberto Cavada）、米歇尔·多里加蒂（Michele Dorigatti）、亚历山德罗·马里奥蒂（Alessandro Mariotti），安德烈亚·米切利（Andrea Micheli）、塞尔吉奥·莫弗（Sergio Mover）、马可·罗维里（Marco Roveri）、安德烈·查尔兹夫（Andrei Tchaltsev） 相关软件： 自旋蛋白；CUDD；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Matrix市场 176篇文献中引用(1999–2024) 软件作者： Boisvert R.、Pozo R.、Remington K.、Barrett R.和Dongarra J 相关软件： 稀疏矩阵；Matlab；Harwell-Being稀疏矩阵集合… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
弹丸 71篇文献引用(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马里乌斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
EasyLocal公司++ 32篇文献引用（2001年至2022年） 软件作者： Di Gaspero，L.，Schaerf，A 相关软件： 彗星；本地化人员；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ASF+SDF 32篇文献引用(1996–2022) 软件作者： 范登·布兰德，M.G.J。；van Deursen，A。；海林，J。；德容，H.A。；de Jonge，M。 相关软件： Stratego；莫德；ATERM… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
STeP公司 33篇文献引用(1997–2015) 软件作者： N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件： PVS；自旋蛋白；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
MIO工作台 在30份文件中引用(2010–2023) 软件作者： 塞巴斯蒂安·鲍尔。；菲利普·迈耶（Philip Mayer）；Legay、Axel 相关软件： Motras公司；ECDAR；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
背心 23篇文献引用(2001–2016) 软件作者： Stankovic A、Wang H、Humphrey M、Zhu R、Poornalingam R、Lu C 相关软件： 托勒密；CPLEX；Uppaal… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；功能分析（46-XX）；概率论与随机过程（60-XX）…
MESSI公司 24篇文献引用(2018–2023) 软件作者： 梅赛德斯·佩雷斯·米兰（Mercedes Pérez Milán）、艾丽西娅·狄肯斯坦（Alicia Dickenstein） 相关软件： REDLOG；QEPCAD；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
找不同 17篇文献引用(2008–2022) 软件作者： 萨德克·本萨勒姆；马里乌斯·博兹加；Nguyen，Thanh-Hung；约瑟夫·西法基斯 相关软件： MONA；里奥；隔间… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
科科斯 19份文件引用（2006年至2019年） 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EPDCOL公司 18篇文献引用(1991–2019) 软件作者： 基斯特，P。；P.H.缪尔。 相关软件： PDECOL；科尔；CWRESX… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
CARP-CG公司 14篇文献引用(2010–2024) 软件作者： Dan Gordon；戈登、瑞秋 相关软件： 阿兹特克；阿兹特克OO；集团… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FS3D格式 在13份文件中引用(2014–2023) 软件作者： 凯瑟琳·艾森施密特（Kathrin Eisenschmidt）；埃特尔，莫里茨；戈马、哈桑；科琳·基弗·罗斯；克里斯蒂安·梅斯特（Christian Meister）；菲利普·劳森伯格（Philipp Rauschenberger）；马丁·雷泽尔（Martin Reitzle）；卡琳·施洛特克（Karin Schlottke）；伯恩哈德·维甘德 相关软件： 格里斯；前列素；InterFOAM… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
国际会计准则 11份文件引用(2000–2023) 软件作者： 贾努斯·格拉纳特（Janusz Granat）；马雷克·马科斯基 相关软件： MESSAGEix；TROTS；SPEA2… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CTL公司 10篇文献引用(2007–2016) 软件作者： 雷纳尔·尼坎普 相关软件： FEAP；OpenFOAM；Matlab… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OCRA公司 9份文件引用(2015–2022) 软件作者： Cimatti，A。；Dorigatti，M。；托内塔，S。 相关软件： nuXmv；NuSMV；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
泡沫 8份文件引用(2005–2014) 软件作者： 阿波·海瓦里宁；贾莫·赫里；贾科·瓦伊林 相关软件： LIBSVM；MNIST；sfa… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
卡塔布兰卡 7份文件引用(2003–2020) 软件作者： W.B.范德海登。；Dendy，E.D。；新墨西哥州帕迪亚尔·科林斯。 相关软件： BLAS；JAMA；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FRIDGE公司 4份文件引用(2004–2007) 软件作者： Keding，H.、Willems，M.、Coors，M.、Meyr，H。 相关软件： Simulink；HOL；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
simpA公司 5份文件引用（2002年至2012年） 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
合成 7份文件引用(2008–2012) 软件作者： 奥蒂利，M。；因弗拉迪，P。；纳瓦拉，A。；Tivoli，M。 相关软件： 杰斯；SOFA 2.0；ITACA… 主要字段： 计算机科学（68-XX）
DP-GEN公司 4份文件引用(2020–2023) 软件作者： 张玉芝、王海迪、陈伟杰、曾金哲、张林峰、王翰、渭南E 相关软件： TensorFlow；亚当；高斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
山核桃 6篇文献引用(1996–2021) 软件作者： 胡萝卜，路易吉；梅勒，弗兰诺；Mango Furnari，马里奥；雷娜塔·纳波利塔诺 相关软件： CANv2；PYR；OpenCAL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CloudGenius公司 2份文件引用(2015–2019) 软件作者： Michael Menzel；拉吉夫·兰扬；王丽芝；萨米·U·汗。；陈金军 相关软件： 斑疹病毒2型；天才卵丘；OpenNebula… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DEECO公司 4份文件引用(2014–2019) 软件作者： Bures，T.、Gerostathopoulos，I.、Hnetynka，P.、Keznikl，J.、Kit，M.、Plasil，F。 相关软件： 海伦娜；SCEL；重新规范… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
F路径 在0个文档中引用 软件作者： David，P.-C.，Ledoux，T.，Coupaye，T..，Léger，M。 相关软件： FScript；OCaml；xMAML… 主要字段： 计算机科学（68-XX）
F脚本 在0个文档中引用 软件作者： David，P.-C.，Ledoux，T.，Coupaye，T..，Léger，M。 相关软件： FPath；OCaml；xMAML… 主要字段： 计算机科学（68-XX）
gNCA公司 4份文件引用(2009–2010) 软件作者： Linh M.Tran；Mark P.Brynildsen；Katy C.Kao；Jason K.Suen；詹姆斯·利娅 相关软件： MatInspector公司；项目管理局；布伦达… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
HI-Maud（高强度） 1份文件引用(2015) 软件作者： 穆罕默德·法德利西亚（Muhammad Fadlisyah）；彼得·塞巴·奥维茨基 相关软件： 莫德；莫德-NPA；P审计… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
采矿锌 4份文件引用(2017–2019) 软件作者： 枪支，蒂亚斯；安东·德里斯（Anton Dries）；齐格弗里德·尼杰森；塔克，吉多；吕克·德·雷德 相关软件： 通用电气；本质；迷你锌… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PowerDynamics.jl公司 1份文件引用(2021) 软件作者： 安东·普列茨奇、拉斐尔·科格勒、萨宾·奥尔、朱莉娅·梅里诺、阿西尔·吉尔·德穆罗、简·李、克里斯蒂娜·沃格尔、弗兰克·赫尔曼 相关软件： 朱莉娅；微分方程.jl；随机延迟DiffEq.jl… 主要字段： 动力系统和遍历理论（37-XX）
SCE灯 4份文件引用(2014–2020) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥·普格利泽；瓦莱里奥·塞尼；弗朗西斯科·蒂埃齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
VisAD公司 3份文件引用(2002–2005) 软件作者： William Hibbard、Curtis Rueden、Steve Emmerson、Tom Rink、David Glowacki、Tom Whittaker、Don Murray、David Fulker、John Anderson 相关软件： 林帕克；PETSc；交易.ii… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
阿曼达 3份文件引用(2002–2007) 软件作者： 汉斯·彼得·克斯克恩、安德烈亚斯·施赖伯、马丁·斯特雷泽尔、迈克尔·法登、雷金·阿赫雷姆、彼得·波斯特、克拉乌斯·沃尔夫、阿明·贝克特、托马斯·格霍尔特、拉尔夫·海因里希、埃德蒙·库格勒 相关软件： MEGAFLOW；花朵；SIMPACK… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
CBPQ公司 3份文件引用(2016–2021) 软件作者： 阿纳斯塔西亚·布拉金斯基；科恩、纳克肖恩；埃雷兹·彼得兰克 相关软件： 喷洒列表 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
冷却BOT 3份文件引用(2002–2005) 软件作者： 安东尼奥·卡洛斯·多明古斯·布里托和弗朗西斯科·杰苏斯·桑塔纳·豪尔赫 相关软件： – 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
DeCLUTR公司 2份文件引用(2022–2024) 软件作者： 约翰·乔治；奥斯瓦尔德·尼茨基；王波；加里·巴德 相关软件： SimCSE；SimCLR；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
EpiLoc公司 2份文件引用(2014–2015) 软件作者： Brady，S.、Shatkay，H。 相关软件： GOASVM；Euk-mPLoc；单元格位置… 主要字段： 生物学和其他自然科学（92-XX）
国际航空航天局 3份文件引用(1996–2017) 软件作者： 唐杰；李娟子；陆红军；梁邦勇；黄晓彤；王克宏 相关软件： S-CREAM；引导数据库 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IGV公司 3份文件引用(2016–2018) 软件作者： Thorvaldsdóttir H、Robinson JT、Mesirov JP 相关软件： BED工具；R；快速QC… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
LBcuda公司 3份文件引用(2022–2023) 软件作者： 法比奥·邦纳科索；马可·劳丽塞拉（Marco Lauricella）；安德烈亚·蒙台梭利；乔治·阿马蒂；马西莫·伯纳西；菲利波·斯皮加；阿德里亚诺·蒂里博奇（Adriano Tiribocchi）；苏西·索罗 相关软件： LBsoft公司；oneAPI；OpenCL… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
熔体 2份文件引用(2009–2013) 软件作者： Mark S.Ghiorso；理查德·奥·萨克 相关软件： 赫菲斯托；Theriak-Domino；Perple_X… 主要字段： 地球物理学（86-XX）；运筹学、数学规划（90-XX）
PANDAT公司 1份文件引用(2024) 软件作者： Cao，W，Chen，S-L，Zhang，F，Wu，K，Yang，Y，Chang，Y，Schmid-Fetzer，R，Oates，W 相关软件： Matplotlib；数字Py；Python… 主要字段： 流体力学（76-XX）；统计力学，物质结构（82-XX）
模拟活动 2份文件引用(2009–2019) 软件作者： 迈斯沃克 相关软件： Matlab；UMDES；Simulink… 主要字段： 运筹学、数学规划（90-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
SimFlex公司 1份文件引用（2014年） 软件作者： 尼古拉斯·哈达维拉斯；斯蒂芬·索莫吉；Thomas F.Wenisch。；Roland E.Wunderlich。；Chen，Shelley；Kim，Jangwoo；巴巴克·法尔萨菲；詹姆斯·C·霍（James C.Hoe）。；安德烈亚斯·诺瓦茨克 相关软件： SICOSYS公司；哈西姆；GARNET… 主要字段： 信息与通信理论，电路（94-XX）
TENT公司 3份文件引用(2001–2002) 软件作者： 托马斯·福克特；汉斯·彼得·科尔斯肯（Hans-Peter Kersken）；安德烈亚斯·施赖伯；斯特雷泽尔，马丁；克劳斯·沃尔夫 相关软件： omniORB；蟒蛇；阿曼达 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
X搜索 3份文件引用(2001–2009) 软件作者： 阿利齐奥·海德琴（Aluízio Haendchen Filho）；do Prado，Hércules A。；恩格尔、保罗·马丁斯；阿恩特·冯·斯塔 相关软件： XPath；XSEarch；GaX搜索 主要字段： 计算机科学（68-XX）
FPV公司 2份文件引用(2012–2017) 软件作者： Tolga Can、Yujun Wang、袁芳Wang、Jianwen Su 相关软件： KEGG；OpenDMAP；NoFold… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
图形生成 1份文件引用(2023) 软件作者： K.Xirogiannopoulos、V.Srinivas、A.Deshpande 相关软件： 奈亚德；利格拉；图形螺栓… 主要字段： 计算机科学（68-XX）
多步控制 2份文件引用(2020–2021) 软件作者： 路易斯·索尔多·维埃拉；Laubenbacher，Reinhard C。；大卫·默鲁加拉 相关软件： CANA；github；亚当… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
Tfx公司 1份文件引用(2021) 软件作者： Denis Baylor、Eric Breck、Heng Tze Cheng、Noah Fiedel、Chuan Yu Foo、Zakaria Haque、Salem Haykal、Mustafa Ispir、Vihan Jain、Levent Koc等。 相关软件： TensorFlow；Scikit；气流… 主要字段： 计算机科学（68-XX）
奥杜尔 在0个文档中引用 软件作者： L.Vanfretti；G.M.Jónsdóttir；医学硕士。；阿尔马斯；E.Rebello；S.R.Firouzi；M.波德特 相关软件： BabelFish；虚拟仪器 主要字段： –
汽车 1份文件引用(2017) 软件作者： L.T.X.Phan、J.Lee、A.Easwaran、V.Ramaswamy、S.Chen、I.Lee和O.Sokolsky 相关软件： VERSA公司；Uppaal公司 主要字段： 计算机科学（68-XX）
GK公司 1份文件引用(2022) 软件作者： 塔内尔·塔米特；德拉海姆（Draheim，Dirk）；普里特·Järv 相关软件： DeReS；中国科学院科学院；Clingo… 主要字段： 计算机科学（68-XX）
大熊猫 1份文件引用(2023) 软件作者： Bunting先生。；巴达尼，R。；J·斯普林克。 相关软件： 斯特里姆 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
OpenMETA公司 在0个文档中引用 软件作者： 贾诺斯·什蒂帕诺维茨（Janos Sztipanovits）；泰德·巴普蒂；尼玛、桑迪普；霍华德，拉里；伊桑·杰克逊 相关软件： OpenModelica；z3（零3） 主要字段： 计算机科学（68-XX）
RFortran公司 1份文件引用(2012) 软件作者： Thyer，M.、Leonard，M.，Kavetski，D.、Need，S.、Renard，B。 相关软件： QSIMVN；害虫 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
斯布卡 1份文件引用(2008) 软件作者： Yarmohammadi，Mahsa A。；梅赫努什·沙姆斯法德；马希德·亚穆罕默德（Mahshid A.Yarmohammadi）。；鲁希扎德，马苏德 相关软件： – 主要字段： 计算机科学（68-XX）
从模拟到实验再到真实 1份文件引用(2023) 软件作者： 徐凯智；Ren，Allen Z。；Nguyen，Duy P。；阿尼鲁达·马朱姆达尔；杰米·费萨克（Jaime F.Fisac）。 相关软件： – 主要字段： 计算机科学（68-XX）
符号数字集成.jl 1份文件引用(2022) 软件作者： 伊朗文，沙赫里亚尔；卡尔·朱利叶斯·马滕森；亚历山德罗·切利；沙什·高达（Shashi Gowda）；阿南德·杰恩（Anand Jain）；马应波；克里斯·拉卡卡斯 相关软件： 建模工具包.jl；SymPy；数据驱动DiffEq.jl… 主要字段： 计算机科学（68-XX）
TAO_XML_T（目标_ XML _T） 1份文件引用（2001年） 软件作者： 保罗·马雷斯卡；安吉拉·古尔西奥；蒂姆·阿恩特（Tim Arndt）；帕斯奎尔·多纳迪奥 相关软件： – 主要字段： 计算机科学（68-XX）