github 5222份文件引用(2010–2024) 软件作者： github 相关软件： R；亚当；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GloptiPoly公司 360篇文献引用(2003–2024) 软件作者： 迪迪埃·亨利安（Didier Henrion）；让-伯纳德·拉塞尔；约翰·勒夫伯格 相关软件： SeDuMi公司；YALMIP；Sostools… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
PLTMG公司 218篇文献引用(1990–2023) 软件作者： Randolph E.Bank；加利福尼亚大学 相关软件： 无人值守地面；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： 康果洛；代理峰值；METATEM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
洛佩克。米 171篇文献引用(2001–2024) 软件作者： Andrew V.Knyazev。 相关软件： JDQZ；JDQR；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
克林戈 140篇文献引用(2009–2024) 软件作者： 马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；黄蜂… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
电子稳定控制系统/Java 120篇文献引用(2001–2022) 软件作者： 格雷格·纳尔逊 相关软件： 规范#；简化；JML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PostgreSQL 55份文件引用(2000–2023) 软件作者： – 相关软件： 甲骨文；MySQL；MS SQL Server… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
网关工具箱 68篇文献引用(1999–2021) 软件作者： C.Houck、J.Joines、M.Kay、A.Chipperfield、P.Flemming、H.Pohlheim、C.Fonseca 相关软件： Matlab；基因组学；遗传算法与直接搜索工具箱… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
利亚帕克 72份文件引用(1998–2024) 软件作者： 蒂洛·彭兹尔 相关软件： Matlab；算法432；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SDPLIB公司 67篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： SDPT3；SeDuMi公司；SDPA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
pde2路径 61篇文献引用(2014–2024) 软件作者： H.Uecker、D.Wetzel、J.Rademacher 相关软件： 自动；MATCONT；Matlab… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；哈维尔·塞耶 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
BNDSCO公司 51篇文献引用(1991–2021) 软件作者： H.Oberle；W.格林 相关软件： SOCS；Matlab；GPOPS… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
尼姆罗德/G 26篇文献引用(2001–2019) 软件作者： Buyya，R；Abramson，D。；J.Giddy。 相关软件： Globus工具包；NetSolve；网格信息软件… 主要字段： 计算机科学（68-XX）；光学、电磁理论（78-XX）；运筹学，数学规划（90-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
UCPOP公司 40篇文献引用(1993–2022) 软件作者： 彭伯蒂，J.S。；焊接，D。 相关软件： 图形平面图；神童；PDDL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
警察 37篇文献引用(2001–2022) 软件作者： Dolan ED、MoréJJ 相关软件： AMPL；SNOPT；切割机… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
神童 24篇文献引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
英国 16篇文献引用(2003–2021) 软件作者： 麦地那A、拉基纳A、马塔I、拜尔斯J 相关软件： 和弦；Globus工具包；脚本… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
折扣 31份文件引用(1996–2023) 软件作者： Denzinger，J。；Kronenburg，M。；舒尔茨，S。 相关软件： TPTP；VAMPIRE公司；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
可视MISER 31份文件引用(2016–2023) 软件作者： 杨峰；Teo，Kok Lay；Ryan Loxton；Volker Rehbock；李斌；俞长军；莱斯利·詹宁斯 相关软件： 吝啬鬼3；NLPQL；NLPQLP… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；运筹学，数学规划（90-XX）…
LMITOOL公司 30篇文献引用(1996–2021) 软件作者： El Ghaoui；尼库哈，R。；F.德勒贝克。 相关软件： LMI工具箱；SDPA；PENNON… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学规划（90-XX）…
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；Mike Fagan；内森·塔伦特；米歇尔·米尔斯（Michelle Mills），斯特劳特（Strout）；帕特里克·亨巴赫（Patrick Heimbach）；希尔，克里斯；卡尔·温施 相关软件： 锥体；ADIFR；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
成为CoDiS 23篇文献引用(2015–2023) 软件作者： 本杰明·艾弗拉；恩戈姆，迪耶内；安吉尔·M·拉莫斯。 相关软件： Matlab；GitHub；i手册… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
CHyQMOM公司 15篇文献引用(2018–2023) 软件作者： Rodney O.福克斯。；劳伦特·弗雷德里克（Frédérique Laurent）；艾默里克·维埃 相关软件： MFC；QBMMlib；操作q… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
GPU验证 14篇文献引用(2013–2022) 软件作者： 彼得·科林伯恩（Peter Collingbourne）；阿拉斯泰尔·唐纳森。；杰罗·凯特马（Jeroen Ketema）；沙兹·卡迪尔 相关软件： GKLEE；CUDA；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
爪Z 14篇文献引用（1988年至2022年） 软件作者： 罗布·阿尔坦 相关软件： 马戏团；电源保护；Simulink… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
Seesoft公司 8份文件引用(1995–2011) 软件作者： 艾克，S。；小J.Steffen 相关软件： 代码爬虫；希皮卡特；Jove… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
iProt-Sub（iProt-Sub） 14篇文献引用(2018–2019) 软件作者： Song J、Wang Y、Li F、Akutsu T、Rawlings ND、Webb GI、Chou KC 相关软件： iPromoter-2L；iRNA-PseColl；Pse-in-One… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
RKI的SurvStat 12份文件引用（2006年至2021年） 软件作者： 科赫研究所 相关软件： R；监督；GMRFLib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
算法800 在11份文件中引用(2000–2022) 软件作者： 彼得·本纳（Peter Benner）；再见，拉尔夫；埃里克·巴特 相关软件： LAPACK；SLICOT；算法854… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
WavePacket（波包） 7份文件引用(2009–2024) 软件作者： Burkhard Schmidt、Ulf Lorenz、Carsten Hartmann 相关软件： QuTiP；Matlab；Q发动机… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；量子理论（81-XX）…
驾驶员侧车门开关（DDS） 9份文件引用(2021–2023) 软件作者： 莱文特·图内尔·梅迪·卡里米 相关软件： 阿方索；ECOS；SCS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；凸和离散几何（52-XX）…
双PC 10篇文献引用(2004–2014) 软件作者： H.M.Amman和D.Kendrick 相关软件： Duali；迪纳尔；游戏… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
阿达巴格 7份文件引用(2009–2023) 软件作者： 阿尔法罗（Alfaro）、埃斯特班（Esteban）；Gamez、Matias和Garcia、Noelia 相关软件： R；UCI-ml；随机森林… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
CAP工具 8份文件引用(1995–2000) 软件作者： C.S.Ierotheou、S.P.Johnson、M.Cross、P.F Leggett 相关软件： 棒 极 了；CAPLib；SHMEM… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FRED公司 6篇文献引用(2015–2022) 软件作者： Grefenstette，J.J.、Brown，S.T.、Rosenfeld，R.、DePasse，J.、Stone，N.T.、Cooley，P.C.、Wheaton，W.D.、Fyshe，A.、Galloway，D.D.、Sriram，A.等人。 相关软件： R；GitHub；生物战… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
抓斗 8份文件引用(2018–2022) 软件作者： 恩格尔，托拜厄斯；安德烈亚斯·沃尔兹；费利克斯·梅斯默（Felix Mesmer）；Rhein，Sönke；克努特·格雷钦 相关软件： VIATOC；ACADO；qpOASES… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： NewtonLib公司；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
绿洲 6篇文献引用(2015–2024) 软件作者： 米凯尔·莫滕森（Mikael Mortensen）；克里斯蒂安·瓦伦·森斯塔德 相关软件： 开放式FOAM；PETSc；FEniCS… 主要字段： 偏微分方程（35-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
藏红花 8份文件引用(2019–2024) 软件作者： Aaditya Ramdas、Tijana Zrnic、Martin Wainwright、Michael Jordan 相关软件： 在线FDR；自适应MT；AdaPT… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
奇点 7份文件引用(2016–2022) 软件作者： 马赫萨·卡泽米·马吉德·加佐 相关软件： 枫树；参数StandardBases.mpl；单一 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
张力 5份文件引用(2021–2022) 软件作者： 亚历山大·库内尔（Alexander Kuhnle）；Michael Schaarschmidt；凯·弗里克 相关软件： TensorFlow；OpenAI健身房；地平线… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）
替换Alt 6篇文献引用(2002–2009) 软件作者： 罗密奥·桑切斯·奈根达（Romeo Sanchez Nigenda）、玄龙阮（XuanLong Nguyen）、苏巴拉奥·坎巴帕蒂（Subbarao Kambhampati） 相关软件： STAN；图形平面图；Walksat… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
DISPRO公司 7份文件引用(1981–2017) 软件作者： V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。 相关软件： 规划师；DISNEL公司；Matlab… 主要字段： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
提升式配置 7份文件引用(2017–2024) 软件作者： Rien Quirynen；塞巴斯蒂安·格罗斯；Boris Houska；莫里茨·迪尔 相关软件： ACADO；Ipopt；NewtonLib… 主要字段： 动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
纳米rdpp 7份文件引用(2006–2023) 软件作者： 蒂堡，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 相关软件： 图形平面图；CPLEX；观察员… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BACOLR公司 6篇文献引用(2008–2019) 软件作者： Wang，R。；基斯特，P。；P.H.缪尔。 相关软件： 巴科利；学士学位；PDECOL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
HapMix公司 5份文件引用(2009–2018) 软件作者： Alkes L.Price、Arti Tandon、Nick Patterson、Kathleen C.Barnes、Nicholas Rafaels、Ingo Ruczinski、Terri H.Beaty、Rasika Mathias、David Reich、Simon Myers 相关软件： 结构；灯；弗拉佩… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
WinGCLC公司 5份文件引用(2006–2011) 软件作者： Predrag Janicic公司；合著者 相关软件： 地质学；GCL校准仪；Eukleides… 主要字段： 几何（51-XX）；微分几何（53-XX）；计算机科学（68-XX）…
GRAS公司 4份文件引用(1996–2020) 软件作者： Kiesel，N.、Schürr，A.、Westfechtel，B。 相关软件： SPARQL；进度；REforDI… 主要字段： 计算机科学（68-XX）
莫尔登 2份文件引用(2006–2016) 软件作者： G.Schaftenaar、J.H.Noordik 相关软件： 查姆；Gabedit；WebMO… 主要字段： 统计力学，物质结构（82-XX）；生物学和其他自然科学（92-XX）
p3增量 5份文件引用(2021–2023) 软件作者： 布萨达，伊斯兰；吉列尔梅，马赞蒂；尼古列斯库，西尔维乌·尤利安；朱利安·休恩；Sim，Franck；托马斯·马蒂厄 相关软件： DLMF；粘合剂2.0；蟒蛇 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；系统论；控制（93-XX）
Q发动机 引用于3份文件(2019–2024) 软件作者： Jens Jakob Sörensen、Jesper Jensen、Till Heinzel、Jacob Sherson 相关软件： QuTiP；克罗托夫；WavePacket… 主要字段： 变分法与最优控制；优化（49-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
QKD网络模拟 5份文件引用(2017–2023) 软件作者： Mehic、Miralem、Oliver Maurhart、Stefan Rass、Miroslav Voznak 相关软件： ns-3；QKD；加密++… 主要字段： 算子理论（47-XX）；计算机科学（68-XX）；量子理论（81-XX）…
罗索·克林戈 5份文件引用(2015–2021) 软件作者： 本杰明·安德烈斯；戴维·拉贾拉特南；奥昆特Sabunu；托尔斯滕·绍布 相关软件： 克林戈；克林孔；黄蜂… 主要字段： 计算机科学（68-XX）
创建-NL+ 4份文件引用(2016–2022) 软件作者： 阿尔巴内塞，R。；Ambrosino，R。；马泰，M。 相关软件： CEDRES++；Matlab；客户… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；流体力学（76-XX）…
EWOC公司 4份文件引用(2009–2014) 软件作者： Xu，Z.，Tighiouart，M.，Rogatko，A。 相关软件： WinBUGS；bcrm；np1… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
助手OC 引用于3份文件(2020–2022) 软件作者： 索米尔·班萨尔、莫·陈、西尔维娅·赫伯特、克莱尔·汤姆林 相关软件： 工具箱LS；皮尔科；Python… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
HiperTM（嬉皮士TM） 引用于3份文件(2017–2023) 软件作者： 雇佣，Sachin；罗伯托·帕尔米耶里（Roberto Palmieri）；比诺伊·拉文德兰 相关软件： 埃尔朗；DudeTM；DiSTM… 主要字段： 计算机科学（68-XX）
数学能量 引用于3份文件(2021–2023) 软件作者： T.Clees、A.Baldin、P.Benner、S.Grundel、C.Himpe、B.Klaassen、F.Kuster、N.Marheineke、L.Nikitina、I.Nikitin、J.Pade、N.Stahl、C.Strohm、C.Tischendorf、A.Wirsen 相关软件： 摩根；MATLAB ODE套件；emgr… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；系统论；控制（93-XX）
OCCAL公司 4份文件引用(1994–2008) 软件作者： Schöpf，雷纳；彼得·德弗哈德 相关软件： ipfilter；SnadiOpt；奥的斯… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
科学实验室 4份文件引用（2010年至2019年） 软件作者： 斯蒂芬·坎贝尔（Stephen L.Campbell）。；Chancelier，Jean-Philippe；拉明·尼库哈 相关软件： 科科斯；SCADE；GPOPS… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
科学数据库 2份文件引用(2016–2023) 软件作者： Stonebraker，M.、Brown，P.、Zhang，D.、Becla，J。 相关软件： R；动物园；mgcv… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SMI工具箱 4份文件引用(1999–2004) 软件作者： B.哈弗坎普、M.维哈根。 相关软件： BLAS；算法679；系统标识工具箱… 主要字段： 数值分析（65-XX）；系统论；控制（93-XX）
Torsche公司 引用于3份文件(2010–2012) 软件作者： 罗马·卡佩克；Zdeněk Hanzálek；PřemyslŠůcha；迈克尔·索伊卡 相关软件： TrueTime；MaRTE操作系统；托勒密… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CAPLib公司 引用于3份文件(2000–2006) 软件作者： Leggett，P.F。；约翰逊，S.P。；克罗斯，M。 相关软件： CAPTools；MatWeb；SHMEM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
ExecScent公司 引用于3份文件(2015–2019) 软件作者： Nelms，T.、Perdisci，R.、Ahamad，M。 相关软件： BotMiner；ElemStatLearn；Keras… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
爆炸 2份文件引用(2014–2016) 软件作者： 杨俊峰、坎萨尔、道森·恩格尔 相关软件： PostgreSQL；SQCK；Eleven82… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
玻璃钢 2份文件引用(2021–2022) 软件作者： 拉拉·里扎；克里斯托夫·伯格迈尔（Christoph Bergmeir）；弗朗西斯科·埃雷拉；何塞·贝尼特斯 相关软件： R；fugeR；模糊R… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）
增长 引用于3份文件(2010–2017) 软件作者： 马尔科·希尔斯曼；托尔斯滕·科德曼；贾德兰·弗拉贝克；德克·里思 相关软件： DesParO；彪马；开放星云… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）…
MAD-STEC公司 引用于3份文件(2017–2023) 软件作者： Bráulio M.Veloso。；泰国共和国科雷亚。；马科斯·奥·普拉特斯。；加布里埃尔·F·奥利维拉。；安德烈亚·塔瓦雷斯。 相关软件： 监督；rflexscan；ACOMCD… 主要字段： 统计学（62-XX）
MIMO/QFT 引用于3份文件(1997–2006) 软件作者： Houpis，C.H。；萨廷，R.R。 相关软件： QFT工具箱；LINPACK系列 主要字段： 可变形固体力学（74-XX）；系统论；控制（93-XX）
PS-MEABC公司 引用于3份文件(2014–2017) 软件作者： 向、易；彭玉明；钟玉斌；陈振宇；陆旭文；钟学军 相关软件： ABC；玉；CEC 05… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
SPC-PM公司 引用于3份文件(2018–2019) 软件作者： 梅耶，A。；等。 相关软件： – 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
超级胶水 引用于3份文件(2015–2022) 软件作者： 马丁·蒂莱尼乌斯 相关软件： OmpSs；StarPU；Hadoop… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
波包 引用于3份文件(2014–2023) 软件作者： 克劳德·迪翁（Claude M.Dion）。 相关软件： FFTW；狄拉克++ 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
恰亚 在0个文档中引用 软件作者： Mark S Miller、Mike Samuel、Ben Laurie、Ihab Awad、Mike Stay 相关软件： JSand；砂壳；Privman… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
夹子_ 2份文件引用(2007–2008) 软件作者： E.Zerz、V.Levandovskyy、K.Schindelar、M.Becker、O.Yena、A.Motsak 相关软件： – 主要字段： 系统论；控制（93-XX）
CoCLAM公司 2份文件引用(2000–2012) 软件作者： 洛杉矶丹尼斯。；邦迪，A。；我是格林。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
混合跟踪验证程序 2份文件引用(2012–2017) 软件作者： 黄振奇；萨扬·密特拉 相关软件： GRKLib；S-TaLiRo；状态流… 主要字段： 动力系统与遍历理论（37-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
MAIA公司 在0个文档中引用 软件作者： 尤金·诺维科夫（Eugene Novikov）、艾曼纽尔·巴里略（Emmanuel Barillot） 相关软件： DAnTE；NATbox；BRLMM… 主要字段： –
消息（MESSAGEix） 1份文件引用(2023) 软件作者： Huppmann D、Gidden M、Fricko O、Kolp P、Orthofer C、Pimmer M、Kushin N、Vinca A、Mastrucci A、Riahi K、Krey V。 相关软件： ISAAP；OPSD；过热… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
spc4sts公司 2份文件引用(2019–2022) 软件作者： Bui，Anh Tuan；丹尼尔·艾普利（Daniel W.Apley）。 相关软件： rpart；R（右） 主要字段： 统计学（62-XX）