邦明 235篇文献引用(1995–2023) 软件作者： 皮埃尔·博纳米；Lorenz T.Biegler。；安德鲁·R·康。；热拉尔·科努约尔斯；格罗斯曼，伊格纳西奥·E·。；卡尔·D·莱尔德。；Jon Lee；安德烈亚·洛迪；弗朗索瓦·马戈；尼古拉斯·萨瓦亚；安德烈亚斯·瓦赫特 相关软件： Ipopt；CPLEX；SCIP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SDPNAL公司+ 94份文件引用(2014–2024) 软件作者： 杨柳琴；孙德芬；杜金川 相关软件： SDPT3；塞杜米；QSDPNAL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
Ninf-G/MPI公司 38篇文献引用（2001年至2016年） 软件作者： 樱井、铁冢；Kodaki，Yoshihisa；平崎Umeda；伊纳多米，Yuichi；渡边，Toshio；翁培长岛 相关软件： NetSolve；OmniRPC；Globus工具包… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSPTW公司 43篇文献引用(2001–2023) 软件作者： 菲利波·福卡奇；安德烈亚·洛迪；米歇拉·米兰 相关软件： LKH；VRP；TSPLIB… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Clingcon公司 39篇文献引用（2009年至2022年） 软件作者： 马丁·格布瑟；马克斯·奥斯特罗斯基；托尔斯滕·绍布 相关软件： 克林戈；卡环；格林戈… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
PARPAP公司 38篇文献引用(2006–2023) 软件作者： 贝特尔斯，斯特凡；托尔斯滕·法勒 相关软件： VRP；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·希尼。；卡伦·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
LSSPER公司 28篇文献引用(2004–2023) 软件作者： 米雷尔·帕尔潘特；Artigues，基督教；菲利普·米歇隆 相关软件： PSPLIB；分散搜索；进展… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SALSA公司 30篇文献引用(2000–2017) 软件作者： 弗朗索瓦·拉伯特；伊夫·卡索 相关软件： 彗星；本地化人员；Oz… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；赫尔德，基督徒 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
VORPAL公司 17篇文献引用(2004–2019) 软件作者： 切特·尼特（Chet Nieter）；约翰·R·卡里。 相关软件： OSIRIS；快速采集；OOPIC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
埃沃利诺 12份文件引用(2007–2021) 软件作者： 施密杜贝尔，J.，维斯特拉，D.，戈麦斯，F.J。 相关软件： 发条RNN；LSTM；darch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
阿里阿德涅 17篇文献引用(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；阿尔贝托法拉利；卢卡·杰雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
JuliaReach公司 15篇文献引用(2018–2024) 软件作者： Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件： SpaceEx；流量*；CORA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
2EBD-HPE型 15篇文献引用(2014–2021) 软件作者： 蒙特罗，雷纳托特区。；卡米洛·奥尔蒂斯；贝纳尔·斯瓦特。 相关软件： SDPNAL+；DIMACS；SDPT3… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
印章 10篇文献引用(2009–2020) 软件作者： Cao Minh，C.，Chung，J.，Kozyrakis，C.，Olukotun，K。 相关软件： STMBench7；环STM；TLRW… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
MUI公司 在11份文件中引用(2015–2021) 软件作者： 唐玉红；Kudo、Shuhei；卞、欣；李震；乔治·埃姆·卡尼亚达基斯 相关软件： 预CICE；地址；OpenFOAM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
萘酚 在11份文件中引用(2014–2022) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。；威廉·海格（William W.Hager）。；詹姆斯·亨格福德。 相关软件： SPG；阿尔根坎；背包… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
RealCertify公司 10篇文献引用(2018–2023) 软件作者： Victor Magron，Mohab Safey El Din 相关软件： TSSOS；塞杜米；Mosek… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
搜索列 10篇文献引用(2013–2023) 软件作者： 阿维洛斯，F。；de Sousa，A。；D.桑托斯。 相关软件： OR-库；AMPL；NETGEN… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
clSpMV公司 10篇文献引用(2013–2020) 软件作者： B.苏；K.Keutzer公司 相关软件： 稀疏矩阵；yaSpMV；库达… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Yampa公司 9份文件引用（2003年至2020年） 软件作者： 亨利克·尼尔森（Henrik Nilsson）、安东尼·考特尼（Antony Courtney） 相关软件： 哈斯克尔；酯类；LUSTRE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
埃尔克洪德 7份文件引用(2004–2014) 软件作者： 斯科特·麦克皮克（Scott McPeak）；Necula，George C。 相关软件： BRNGLR；ATERM；eSkel… 主要字段： 计算机科学（68-XX）
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
QMCPACK（质量管理确认） 8份文件引用(2008–2022) 软件作者： J.Kim等人。 相关软件： 西北化工；S3D军团；KKRnano… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；数值分析（65-XX）…
AptoFEM公司 7份文件引用(2008–2019) 软件作者： Giani，S.、Hall，E.、Houston，P。 相关软件： MUMPS；交易.ii；FEniCS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MODIR（修改器） 6篇文献引用(2018–2021) 软件作者： 坎帕纳，E.F。；Diez，M。；刘齐，G。；Lucidi，S。；佩莱格里尼，R。；Piccialli，V。；Rinaldi，F。；A.塞拉尼。 相关软件： 国际实验室；MultiGLODS；DFMO… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
穆里奇 7份文件引用(2020–2022) 软件作者： 温德尔·梅洛；玛西娅·法帕（Marcia Fampa）；费尔南多·拉普 相关软件： 邦明；射击；古罗比… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
无HR 6篇文献引用（2015年至2022年） 软件作者： 卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特 相关软件： Potassco；康clude；赫密特… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
BACP公司 4份文件引用(2005–2014) 软件作者： 托尼·兰伯特（Tony Lambert）；卡洛斯·卡斯特罗；埃里克·蒙弗罗伊（Eric Monfroy）；里夫，玛丽亚·克里斯蒂娜；弗雷德里克·绍比恩 相关软件： CSPLib；EasyLocal公司++ 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
代码BERT 1份文件引用(2022) 软件作者： 冯章寅、郭大雅、唐杜玉、段楠、冯晓成、龚铭、寿林军、秦冰、刘婷、蒋大新、周明 相关软件： BERT；CodeXGLUE；设计… 主要字段： 计算机科学（68-XX）
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： 珊瑚；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
李斯特 4份文件引用(2014–2020) 软件作者： 扎卡里·德维托（Zachary DeVito）、尼尔斯·朱伯特（Niels Joubert）、弗朗西斯科·帕拉西奥斯（Francisco Palacios）、斯蒂芬·奥克利（Stephen Oakley）、蒙特塞拉特·麦地那（Montserrat Medina）、迈克·巴里恩托斯（Mike Barrientos）、埃里希·埃尔森（Erich Elsen）、弗兰克· 相关软件： Firedrake；FEniCS；PyOP2… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ShyLU公司 5份文件引用(2012–2023) 软件作者： Rajamanickam S.、Boman E.G.、Heroux M.A。 相关软件： 特里利诺斯；FROSch公司；苏格兰威士忌… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
巴赫 5份文件引用(2010–2018) 软件作者： Bu L、Li Y、Wang L和Li X 相关软件： SpaceEx；高科技；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SCL-HYB总成 5份文件引用(2016–2023) 软件作者： Satarić，Bogdan；斯拉夫尼奇，弗拉基米尔；Aleksandar Belić；安顿巴拉日；保萨米·穆鲁加南丹（Paulsamy Muruganandam）；Adhikari，Sadhan K。 相关软件： imagtime3d-hyb；实时三维hyb；总SCL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
柔道STM 3份文件引用(2012–2022) 软件作者： Olszewski，M.、Cutler，J.、Steffan，J.G。 相关软件： NOrec；DiSTM；TLRW… 主要字段： 计算机科学（68-XX）
SOSlib公司 3份文件引用(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；COPASI；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
XAMG公司 4份文件引用(2023) 软件作者： 鲍里斯·克拉斯诺波尔斯基（Boris Krasnopolsky）、阿列克谢·梅德韦杰夫（Alexey Medvedev） 相关软件： 稀疏矩阵；炒作；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
镉 4份文件引用(2008–2017) 软件作者： 格雷戈里·杜克（Gregory J.Duck）。；Leslie De Konink；彼得·斯图基（Peter J.Stuckey）。 相关软件： 微量锌；Gecode公司；G12… 主要字段： 计算机科学（68-XX）
数据链接库 4份文件引用(2016–2023) 软件作者： 规划模型组BSC；玛尔塔·加西亚；维克托·洛佩兹 相关软件： OmpSs；Alya；OpenFOAM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
海珀 4份文件引用(2017–2022) 软件作者： P.Kouki、S.Fakhraei、J.Foulds、M.Eirinaki、L.Getoor 相关软件： node2vec；ProNE；DeepWalk… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
圣人 4份文件引用（2010年至2021年） 软件作者： 杰西卡·格伦斯基（Jessica Gronski）、肯尼思·诺尔斯（Kenneth Knowles）、亚伦·托姆（Aaron Tomb）、斯蒂芬·弗伦德（Stephen N.Freund）、科马克·弗拉纳根 相关软件： 渐变动态语义；流量；流行标记… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
索尼公司 4份文件引用(2006–2014) 软件作者： Beelitz，T.、Bischof，C.H.、Lang，B.、Willems，P 相关软件： 进入PT_90；环球太阳；内比斯… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
工具 4份文件引用(2005–2006) 软件作者： de Givry S.、Jeannin L。 相关软件： OPL；SALSA；建模器… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
HACC公司 2份文件引用(2016–2017) 软件作者： Salman Habib、Adrian Pope、Hal Finkel、Nicholas Frontiere、Katrin Heitmann、David Daniel、Patricia Fasel、Vitali Morozov、George Zagaris、Tom Peterka、Venkatram Vishwanath、Zarija Lukic、Saba Sehrish、Wei-keng Liao 相关软件： GADGET公司；蟒蛇；L-PICOLA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
蒙哥（Mongoose） 2份文件引用(2018–2020) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。；威廉·海格（William W.Hager）。；斯科特·P·科洛齐杰。；S.Nuri Yeralan 相关软件： Matlab；SuiteSparse；MatrixMarket… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
广告管理委员会++ 2份文件引用(2006–2007) 软件作者： 埃里克·菲普斯（Eric Phipps）；理查德·凯西；约翰·古根海默 相关软件： Matlab公司 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
ExaSlang（考试俚语） 2份文件引用(2020–2022) 软件作者： C.Schmitt、S.Kuckuk、F.Hannig、H.Köstler、J.Teich 相关软件： 模板；节日；MODESTO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
HP-FASS公司 1份文件引用(2011) 软件作者： A.López-Fernández；葡萄牙语M.L；J.M.Taboada；H.J.Ricec；F.奥贝莱罗 相关软件： —— 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
jsCoq公司 2份文件引用(2021–2022) 软件作者： 阿里亚斯，E.J.G.，宾，B.，朱弗洛特，P。 相关软件： github；Mathematica；SMT-RAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
逻辑QL 2份文件引用(2016–2017) 软件作者： Terry Halpin，Spencer Rugaber公司 相关软件： 数据日志；DeepDive；风险投资… 主要字段： 计算机科学（68-XX）
PCSIM卡 1份文件引用(2014) 软件作者： Pecevski DA、Natschläger T、Schuch KN 相关软件： 神经元；布莱恩；科学… 主要字段： 生物学和其他自然科学（92-XX）
RnaViz公司 1份文件引用(2005) 软件作者： de Rijk，P。；Wuts，J。；de Wachter，R。 相关软件： CMfinder；R2R；jViz公司。Rna… 主要字段： 生物学和其他自然科学（92-XX）
StaDyn公司 1份文件引用(2011) 软件作者： Francisco Ortin、Miguel Garcia、Baltasar Garcia Perez-Schofield、Jose Quiroga 相关软件： 红宝石；RPython；Pycket… 主要字段： 计算机科学（68-XX）
WOMBAT公司 2份文件引用(2018–2020) 软件作者： Mendygral，P.J。；北卡罗来纳州拉德克利夫。；坎达拉，K。；波特，D。；奥尼尔，B.J。；诺尔廷，C。；Edmon，P。；唐纳特，J.M.F。；琼斯·T·W·。 相关软件： 冥王星；BOUT++；回声… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；天文学和天体物理学（85-XX）
精确坐标系 1份文件引用(2022) 软件作者： 麦卡斯基，A.J。；Dumitrescu，E.F。；Liakh，D。；陈，M。；冯·W。；亨伯，T.S。 相关软件： LLVM；开放费米子；问题#… 主要字段： 量子理论（81-XX）
HybCore公司 1份文件引用(2020) 软件作者： 谢尔盖·冈查洛夫（Sergey Goncharov）；内维斯（Neves）、雷纳托（Renato）；何塞·普伦萨 相关软件： Modelica；OCaml；GHCi… 主要字段： 计算机科学（68-XX）
日本JAX-DIPS 1份文件引用(2023) 软件作者： Pouria A.Mistani。；萨米拉·帕克拉万；拉杰什·伊兰戈；弗雷德里克·吉布 相关软件： JAXopt；DGM；DeepONet；…（D）… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）
打结探测仪 1份文件引用(2011) 软件作者： Jana Sperschneider；阿米塔瓦·达塔 相关软件： PathBLAST；莫韦；Cell Illustrator… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
音乐 在0个文档中引用 软件作者： Shaji Chempath、Louis A.Clark、Tina Düren、Amit Gupta、Martin J.Sanborn、Lev Sarkisov；西北大学 相关软件： VMD；卡桑德拉；RASPA… 主要字段： ——
Psi4NumPy 在0个文档中引用 软件作者： 史密斯，D.G。；洛杉矶伯恩斯。；Sirianni，D.A。；Nascimento，D.R。；库马尔，A。；A.M.詹姆斯。；施里伯，J.B。；张，T。；张，B。；Abbott，A.S.等人 相关软件： MOLPRO公司；SPHINX；EinSum… 主要字段： ——
QCOR（质量控制报告） 在0个文档中引用 软件作者： Tiffany M.Mintz、Alexander J.Mccaskey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski 相关软件： SciPy；开放费米子；奥奎斯特拉… 主要字段： ——
QuaSiMo公司 在0个文档中引用 软件作者： Thien Nguyen、Lindsay Bassman、Phillip C.Lotshaw、Dmitry Lyakh、Alexander McCaskey、Vicente Leyton Ortega、Raphael Pooser、Wael Elwasif、Travis S.Humble、Wibe A.de Jong 相关软件： SciPy；开放费米子；QCOR… 主要字段： ——
SCOT公司 1份文件引用(2023) 软件作者： 奥拉玛（Alireza Olama）；爱德华多·坎波诺加拉；简·克伦奎斯特 相关软件： OSQP；SparClur；KNITRO… 主要字段： 运筹学、数学规划（90-XX）
符号数字集成.jl 1份文件引用(2022) 软件作者： 伊朗文，沙赫里亚尔；卡尔·朱利叶斯·马滕森；亚历山德罗，切利；沙什·高达（Shashi Gowda）；阿南德·杰恩（Anand Jain）；马英波；克里斯·拉卡卡斯 相关软件： 建模工具包.jl；SymPy；数据驱动DiffEq.jl… 主要字段： 计算机科学（68-XX）