蟒蛇 1432份文献中引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CGS公司 339篇文献引用(1986–2023) 软件作者： 彼得·索内维尔德 相关软件： GpBiCg；双CGstab；稀疏矩阵… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
gmp公司 299篇文献引用（1995年至2024年） 软件作者： 格兰伦德 相关软件： MPFR；NTL；PARI/GP… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
雪佛兰 266篇文献引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；Gunter Malle；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
深度ONet 214篇文献引用（2020年至2024年） 软件作者： 陆璐、金鹏展、乔治·埃姆·卡尼亚达克斯 相关软件： 亚当；DGM；DeepXDE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Twelf公司 177份文件引用(1998–2023) 软件作者： Twelf项目；弗兰克·普芬宁（Frank Pfenning）；卡斯滕·舒尔曼 相关软件： Coq；Isabelle/HOL；Abella… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
低成本融资 164篇文献引用(1972–2024) 软件作者： 米尔纳，罗宾 相关软件： Coq；毫升；霍尔… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；霍尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
LOTOS公司 135份文件引用(1988–2023) 软件作者： 博洛涅西，T.，布林克斯马，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
夹紧装置 148篇文献引用(1996–2024) 软件作者： Randall J.LeVeque。 相关软件： AMRCLAW；Pyclaw；HE-E1GODF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
ILOG时间表 88篇文献引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 一般代数系统（08-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
版次 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
PyFR公司 83份文件引用(2014–2024) 软件作者： 迈克尔·克莱姆、弗雷迪·威瑟登、彼得·文森特 相关软件： Gmsh；HE-E1GODF；Nektar++… 主要字段： 偏微分方程（35-XX）；功能分析（46-XX）；数值分析（65-XX）…
HLLC公司 78篇文献引用(2010–2023) 软件作者： Tokareva，S.A.公司。；E.F.托罗。 相关软件： HLLE；HE-E1GODF；澳大利亚… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；霍尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
进展 52篇文献引用(1994–2022) 软件作者： 曼弗雷德·穆奇；舒尔，安迪；安德里亚斯·J·温特。 相关软件： AGG；福贾巴语；VIATRA2… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
GpBiCg公司 68篇文献引用(1997–2023) 软件作者： 藤野精二；张绍良 相关软件： CGS；双CGstab；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
DENFIS公司 32篇文献引用(2004–2022) 软件作者： Kasabov NK、Song Q 相关软件： ANFIS；UCI-ml；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
差速器2 56篇文献引用(1994–2023) 软件作者： 曼斯菲尔德，E.L。 相关软件： SYMMGRP；SYMMGRP公司。最大值；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
钠1 56篇文献引用(1991–2023) 软件作者： Brezinski，C。；Redivo Zaglia，M。；H·萨多克。 相关软件： CGS；na5；BiCGstab… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
冥王星 在48份文件中引用(2007–2022) 软件作者： 米农，A。；博多，G。；马萨利亚，S。；Matsakos，T。；O.Tesilenu。；Zanni，C。；A.法拉利。 相关软件： 雅典娜；闪光；HLLE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CDuce公司 在48份文件中引用（2003年至2020年） 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
pARMS公司 40篇文献引用(2002–2023) 软件作者： 萨阿德，Y。；Sosonkina，M。 相关软件： ARMS；ILUM；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
rnorrexp公司 35篇文献引用(1982–2023) 软件作者： George Marsaglia、Wai Wan Tsang 相关软件： 齐古拉；MersenneTwister；BLISS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
模块 39篇文献引用(1985–2018) 软件作者： 伯纳杜，M。；哈西姆，A。；Laug，P。；转向，D。；维德拉斯库，M。；E.萨尔特尔。 相关软件： mpi4py；UFL；宠物… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Prodigy公司 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）
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
MOVCOL公司 33篇文献引用(1996–2019) 软件作者： 黄伟；罗素（R.D.Russell） 相关软件： DASSL；CWRESX；CWRESU… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
普罗米拉 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
天秤座 29篇文献引用(2019–2023) 软件作者： 谢、条成；张家恒；张玉鹏；Papamanthou、Charalampos；宋，黎明 相关软件： 力比奥；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
AILU公司 28篇文献引用(2000–2022) 软件作者： 马丁·甘德（Martin J.Gander）。；弗雷德里克·纳塔夫 相关软件： 派系；PSP；STRUMPACK… 主要字段： 偏微分方程（35-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森，艾纳·布罗克；Owe、Olaf；Yu，Ingrid Chieh女士 相关软件： 羽量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
NICAM公司 26篇文献引用(2008–2023) 软件作者： 佐藤M、松野T、丰田H、三浦H、纳苏诺T、伊加S 相关软件： 冠军；EULAG；MPDATA… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
MESSI公司 24篇文献引用(2018–2023) 软件作者： 梅赛德斯·佩雷斯·米兰（Mercedes Pérez Milán）、艾丽西娅·狄肯斯坦（Alicia Dickenstein） 相关软件： 红线；QEPCAD；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
铭文 23篇文献引用(2005–2023) 软件作者： 康纳·麦克布莱德 相关软件： Coq；阿格达；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
IRKC公司 23篇文献引用(2006–2023) 软件作者： Shampine，L.F.公司。；Sommeijer，B.P.公司。；J.G.韦尔。 相关软件： RKC；罗德斯；投票… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
业务流程工具包 21篇文献引用(1997–2021) 软件作者： Edmond Chow、Mike Heroux 相关软件： 稀疏矩阵；ILUM；ILUT… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
K工具 20篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
阿美索斯2 19份文件引用(2015–2023) 软件作者： 埃里克·巴维尔（Eric Bavier）、马克·霍曼（Mark Hoemmen）、西瓦桑卡兰·拉贾马尼卡姆（Sivasankaran Rajamanickam）、海蒂·桑奎斯特（Heidi Thornquist） 相关软件： 贝洛斯；特里利诺斯；梅露… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；ALF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
中国科学院科学院 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
阿里阿德涅 17篇文献引用(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；阿尔贝托法拉利；卢卡·杰雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
德尔芬 17篇文献引用（2003年至2020年） 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DQGMRES公司 18篇文献引用(1995–2023) 软件作者： 萨阿德，Y。；Wu，K。 相关软件： mctoolbox；LSQR；稀疏套件… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）
帕克莫尔 16篇文献引用(2012–2023) 软件作者： 马丁内斯，L.，安德拉德，R.，比金，E.G.，马丁内兹，J.M。 相关软件： 阿尔根坎；格兰索；兰斯洛… 主要字段： 变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
立方agda 17篇文献引用(2020–2023) 软件作者： 安德烈亚·维佐西；莫特伯格，安德斯；安德烈亚斯·亚贝尔 相关软件： 立方体；github；Coq… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
DGMRES公司 17篇文献引用(2001–2023) 软件作者： 阿夫拉姆·西迪 相关软件： Matlab；环境影响评价；BlockStab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；几何（51-XX）…
FLICA-OVAP公司 17篇文献引用(2011–2023) 软件作者： – 相关软件： 澳大利亚统计局；HLLE；L2Roe… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
浣熊 15篇文献引用(2006–2020) 软件作者： 尤尔根·德雷尔；雷纳·格雷尔 相关软件： 帕拉梅什；p4测试；皮诺… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
GENDA公司 15篇文献引用(2004–2019) 软件作者： Peter Kunkel、Volker Mehrmann、Ingo Seufer 相关软件： GELDA；Matlab；NewtonLib… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
卡尔多斯 15篇文献引用(1995–2021) 软件作者： B.Erdmann，J.Lang，R.Roitzsch，ZIB柏林 相关软件： ROS3P；罗德斯；阿米拉… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
等负荷 11份文件引用(2001–2020) 软件作者： Ciardo，G。；A.里斯卡。；史密尼，E。 相关软件： J相；OMNet++；MCQueue… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HOL零 12份文件引用(2014–2023) 软件作者： 马克·亚当斯 相关软件： Isabelle/HOL；HOL灯；霍尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；凸和离散几何（52-XX）…
生锈带 13份文件引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；Coq；工具链… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCASY公司 12份文件引用(2009–2020) 软件作者： 罗伯特·格拉纳特（Robert Granat）；Isak Jonsson；科格斯特罗姆，波 相关软件： ScaLAPACK；算法432；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HyEQ公司 11份文件引用(2013–2023) 软件作者： R.G.Sanfelice、D.A.Copp、P.Nanez 相关软件： YALMIP；MR和LTV合成工具；SDPT3… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
二级-D2P4 10篇文献引用(2007–2021) 软件作者： 阿尔弗雷多·布塔里；达安布拉，帕斯卡；迪塞拉菲诺，丹妮拉；萨尔瓦多菲利波内 相关软件： MLD2P4；PSBLAS；BoomerAMG… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
社会可视化者 8份文件引用(2007–2013) 软件作者： 亚历山大·阿提基斯；马雷克·塞尔戈特（Marek Sergot）；杰里米·皮特 相关软件： 岛国；CCalc；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： Coq；F*；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Ginv公司 9份文件引用(2006–2023) 软件作者： 于布林科夫。答：。；副总裁Gerdt。 相关软件： 珍妮特；枫树；代数托马斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
Liquid Haskell公司 9份文件引用(2014–2024) 软件作者： 尼基·瓦祖；埃里克·塞德尔。；Jhala，Ranjit；Dimitrios的Vytiniotis；西蒙·佩顿·琼斯 相关软件： 哈斯克尔；z3；Dafny… 主要字段： 计算机科学（68-XX）
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
预qn 9份文件引用(2001–2020) 软件作者： 何塞·路易斯·莫拉莱斯（JoséLuis Morales）；豪尔赫·诺塞达尔 相关软件： tn；L-BFGS；mctoolbox… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
M4GB 8份文件引用(2017–2023) 软件作者： Makarim，Rusydi H。；马克·史蒂文斯 相关软件： MQ挑战；GeMSS；FGb… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
宣称 8份文件引用(2010–2023) 软件作者： Linda Hung；黄，陈；Shin，Ilgyou；Ho，Gregory S。；Lignères，Vincent L。；艾米丽·卡特（Emily A.Carter）。 相关软件： COMSOL公司；量子浓缩咖啡；CASTEP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
PseKNC-概述 8份文件引用(2015–2019) 软件作者： Chen，W。；张，X。；布鲁克，J。；Lin，H。；张，L。；K.C.周。 相关软件： iRSpot-PseDNC；心灵合一；repDNA… 主要字段： 生物学和其他自然科学（92-XX）
每日一次 8份文件引用(2006–2023) 软件作者： Y.Hida、X.Li、D.H.Bailey 相关软件： 双双；算法908；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；流体力学（76-XX）…
鲁莽的 8份文件引用(2004–2022) 软件作者： 罗伯特·格拉纳特（Robert Granat）；Isak Jonsson；科格斯特罗姆，波 相关软件： mctoolbox；BLAS；GEMM… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
CONSLAW公司 引用于7份文件(2004–2016) 软件作者： 姚若霞；李志斌 相关软件： 枫树；冷凝水；GeM… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
基因 6篇文献引用(2012–2023) 软件作者： Carmona，J.、Cortadella，J.和Kishinevsky，M。 相关软件： 石化；红矿工；VipTool… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
jCOLIBRI公司 引用于3份文件(2005–2014) 软件作者： Juan JoséBello-Tomás、Pedro A.González-Calero、Belén Díaz-Agudo 相关软件： 西拉默；BacSim；神经元… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
卡伦 引用于7份文件(2008–2022) 软件作者： Daniel P.Friedman、William E.Byrd、Oleg Kiselyov 相关软件： miniKanren；自动化；AIspace… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
LNgen（液化天然气） 引用于7份文件（2011年至2021年） 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PCG公司 引用于7份文件(1992–2015) 软件作者： Joubert，W.D。；凯里·G·F·。 相关软件： 硝酚；炒作；LAMG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
多面体的 引用于7份文件(2009–2020) 软件作者： M.Dutour Sikirić先生 相关软件： 间隙；多品牌；港口… 主要字段： 数论（11-XX）；代数几何（14-XX）；几何（51-XX）…
二钠45 6篇文献引用(2017–2022) 软件作者： 曼努埃尔·卡尔沃；胡安·蒙蒂亚诺一世。；路易斯·兰德斯 相关软件： 罗德斯；TC-HAT；PyDSTool… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
格雷兹 6篇文献引用(2014–2020) 软件作者： Bruggink HJS、König B、Zantema H。 相关软件： MedOlDatschgerl；z3；AGG… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
lcpSim公司 6篇文献引用(2001–2011) 软件作者： Sztrik，J。；Möller，O。 相关软件： 马赛尔；GreatSPN 1.7；最大SPN 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RT-ASLAN公司 引用于3份文件（1994年-2002年） 软件作者： 奥尔海默B，凯默R A。 相关软件： 酯类；Ada95；星体的 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…