并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
micrOMEGA公司 75篇文献引用(2002–2022) 软件作者： 杰奈维夫·贝朗格、法齐·布杰马、亚历山大·普霍夫和安德烈·塞梅诺夫 相关软件： MicrOMEGAs 2.0；CalcHEP；柔软… 主要字段： 偏微分方程（35-XX）；经典热力学，传热（80-XX）；量子理论（81-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TAMC公司 72份文件引用(1998–2021) 软件作者： Giering，拉尔夫；托马斯·卡明斯基 相关软件： TAF；ADIFR；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
吉隆坡机场 43篇文献引用(2010–2023) 软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 相关软件： z3；可爱的；DART… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
米高梅2.0 48篇文献引用(2007–2023) 软件作者： G.Bélanger、F.Boudjema、A.Pukhov、A.Semenov 相关软件： 微囊藻；柔软；计算HEP… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
AceGen公司 45篇文献引用(2001–2023) 软件作者： J·科尔克。 相关软件： AceFEM；Mathematica；短信… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
短讯服务 38篇文献引用(1997–2023) 软件作者： 乔·科勒克 相关软件： Mathematica；AceFEM；AceGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
疯狂事件 34份文件引用(2009–2023) 软件作者： 法比奥·马尔托尼（Fabio Maltoni）、蒂姆·斯特尔泽（Tim Stelzer） 相关软件： MadGraph；CompHep；PYTHIA8… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
幸福 26篇文献引用(2015–2024) 软件作者： S.W.Walker公司 相关软件： Matlab；FEniCS；Matlab RBF工具箱… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
手指 26篇文献引用(1986–2021) 软件作者： Wang，Paul S。 相关软件： Mathematica；减少；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
打开AD/F 23篇文献引用(2007–2022) 软件作者： Jean Utke；乌韦·诺曼；Mike Fagan；内森·塔伦特；米歇尔·米尔斯，斯特劳特；帕特里克·亨巴赫（Patrick Heimbach）；克里斯·希尔（Chris Hill）；卡尔·温施 相关软件： 锥体；ADIFR；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
奶酪 20篇文献引用(1996–2021) 软件作者： Lütjens，H。；邦德森，A。；O.绍特。 相关软件： XTOR；ECOM；埃拉托… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
杜芬伴随物 15篇文献引用(2020–2024) 软件作者： 米图什，S。；Funke，S。；J.多肯。 相关软件： FEniCS；github；UFL… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
GENTRAN公司 引用于19份文件（1986年-2000年） 软件作者： GATES，B.L.公司。 相关软件： 减少；手指；马西玛… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据包 17篇文献引用(2002–2019) 软件作者： 托尔斯玛，J.E。；P.I.巴顿 相关软件： DASSL；DASPK 3.0；SNOPT… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
测谎仪 4份文件引用(2010–2018) 软件作者： Newsome，J.、Karp，B.、Song，D。 相关软件： 签名；哈马斯；Snort… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
吉祥物 12份文件引用(1997–2022) 软件作者： 佩雷·桑乔（Pere P.Sancho）、卡洛斯·尤兹（Carlos Juiz）、拉蒙·普贾纳（Ramon Puigjaner） 相关软件： LSTRS；贝叶斯DA；翡翠… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
西格玛* 在13份文件中引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FEFLO公司 12份文件引用(2003–2022) 软件作者： 南方研究公司。 相关软件： EdgePack；FParser；交易.ii… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
FEMorph公司 11份文件引用(2018–2022) 软件作者： 斯蒂芬·施密特 相关软件： 道芬；FEniCS；Firedrake… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
JIDT公司 6篇文献引用(2018–2021) 软件作者： 约瑟夫·利泽尔、伊佩克·泽德米尔、佩德罗·梅迪亚诺 相关软件： TRENTOOL公司；蟒蛇；MuTE… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）…
PathCrawler（路径爬行器） 5份文件引用(2008–2021) 软件作者： Nicky Williams、Bruno Marre、Patricia Mouy、Muriel Roger 相关软件： 可爱的；投掷；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GMac公司 9份文件引用(2014–2022) 软件作者： 艾哈迈德·霍斯尼·阿瓦德·艾德 相关软件： 盖根；加洛普；CLUCalc… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
阿卡多 6篇文献引用(2018–2023) 软件作者： Robin Verschueren、Gianluca Frison、Dimitris Kouzoupis、Niels van Duijkeren、Andrea Zanelli、Branimir Novoselnik、Jonathan Frey、Thivaharan Albin、Rien Quirynen、Moritz Diehl 相关软件： HPIPM；ACADO；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
CAP工具 8份文件引用(1995–2000) 软件作者： C.S.Ierotheou、S.P.Johnson、M.Cross、P.F Leggett 相关软件： 棒 极 了；CAPLib；SHMEM… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
阿尔巴 7份文件引用(1991–2020) 软件作者： Grant O.jun.库克。；Jeffrey F.画家。 相关软件： GENTRAN公司；PDEQSOL；CTADEL… 主要字段： 总体主题；藏品（00-XX）；积分方程（45-XX）；数值分析（65-XX）…
计算机辅助设计 7份文件引用（2006年至2018年） 软件作者： 科恩、诺曼、里埃姆 相关软件： NAG软件；TAF；锥体… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HEPMath公司 5份文件引用(2017–2021) 软件作者： 马丁·威布什 相关软件： FeynCalc；Mathematica；表格… 主要字段： 复变量函数（30-XX）；代数拓扑（55-XX）；统计学（62-XX）…
磅/平方英寸 7份文件引用(2012–2022) 软件作者： Powersim公司。 相关软件： Matlab；Turbo Pascal；SymPowerSystems… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学编程（90-XX）…
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
先知 4份文件引用(2017–2023) 软件作者： 长，扇形；马丁·里纳德 相关软件： SemFix；安吉利克斯；缺陷4J… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PushGP（推送GP） 3份文件引用（2002年-2023年） 软件作者： 克劳福德马克R，斯佩克特L。 相关软件： 推动；PyshGP；SQLizer… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
Crowfoot公司 5份文件引用(2011–2015) 软件作者： 纳撒尼尔·查尔顿；本·霍斯福尔（Ben Horsfall）；罗伊斯，伯恩哈德 相关软件： 小脚；VeriFast；jStar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
考试 1份文件引用(2012) 软件作者： 阿奇姆·泽利斯（Achim Zeileis）、贝蒂娜·格伦（Bettina Gruen）、弗里德里希·利什（Friedrich Leisch）、尼古拉·乌姆劳夫（Nikolaus Umlauf）、尼尔斯·斯密茨（Niels Smits）、米尔科·伯鲍默（Mirko 相关软件： R；凹陷；SageMath… 主要字段： 数学教育（97-XX）
PLuTo公司 5份文件引用(2012–2022) 软件作者： Bondhugula，U.、Hartono，A.、Ramanujam，J.、Sadayappan，P。 相关软件： github；CompCertTSO；火焰… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
Spi2Java软件 3份文件引用(2007–2014) 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；项目验证… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TRACO公司 3份文件引用(2016–2023) 软件作者： 马雷克·帕尔科夫斯基（Marek Palkowski）、托马斯·克里梅克（Tomasz Klimek）、沃德齐米尔兹·比莱基（Wlodzimierz Bielecki） 相关软件： isl；github；Cetus… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
康尼迪 4份文件引用(2012–2021) 软件作者： 亚历山大·罗斯盖尔（Alexander Rothkegel）；克劳斯·莱内茨 相关软件： JiTCSDE；JiTCODE；JiTCDDE… 主要字段： 常微分方程（34-XX）；动力系统和遍历理论（37-XX）
控制工具箱 3份文件引用(2020–2022) 软件作者： 马库斯·吉夫塔勒（Markus Giftthaler）、迈克尔·纽内特（Michael Neunert）、马库斯·斯泰布尔（Markus Stäuble）、乔纳斯·布赫利（Jonas Buchli） 相关软件： 阿卡多斯；ACADO；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
fvGCM公司 3份文件引用（2006年至2018年） 软件作者： Giering，拉尔夫；托马斯·卡明斯基（Thomas Kaminski）；里卡多（Ricardo Todling）；罗纳德·埃里科；罗纳德·吉拉罗（Ronald Gelaro）；内森·温斯洛 相关软件： TAF；Pochoir；ADIFOR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；地球物理学（86-XX）
日本航空航天公司 3份文件引用(2023) 软件作者： 薛天举；廖树恒；甘正涛；清武公园；谢晓宇；刘永锦；曹健 相关软件： JAX；PyTorch；GitHub… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
JML单位 3份文件引用(2011–2022) 软件作者： 丹尼尔·齐默尔曼（Daniel M.Zimmerman）。；林克什·纳格莫蒂 相关软件： OpenJML；凯伊；JUnit… 主要字段： 计算机科学（68-XX）
磅/英里 3份文件引用(2023) 软件作者： 马丁·鲍尔（Martin Bauer）；哈拉尔德·科斯特勒；乌尔里奇·吕德 相关软件： SymPy公司；waLBerla；STLBM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
诺波尔 1份文件引用(2023) 软件作者： J.Xuan、M.Martinez、F.DeMarco、M.Clement、S.L.Marcot e、T.Durieux、D.Le Berre、M.Monperrus 相关软件： 缺陷4J；ASTOR；先知… 主要字段： 计算机科学（68-XX）
PENTRAN公司 3份文件引用(2001–2019) 软件作者： Sjoden，G。；Haghighat，A。；HSW技术有限责任公司 相关软件： DAGuE公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
振动器 3份文件引用(2003–2006) 软件作者： 阿尔吉曼塔斯（Algimantas）；里贾纳·库尔维提安；基纳迪朱斯·库尔维提斯 相关软件： PSPC链路 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）
听诊器 2份文件引用(2016) 软件作者： 谭佳奇；Tay，Hui Jun；拉杰夫·甘地；Priya Narasimhan 相关软件： 达夫尼；MiBench公司；维拉斯科… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ESPADON公司 2份文件引用(2003–2006) 软件作者： Bob K.Madahar。；艾恩·阿尔斯通（Ian D.Alston）。；丹尼斯·奥拉格尼尔；汉斯·舒勒；马克·托马斯（Mark Thomas）；布里吉特·萨吉特 相关软件： 锡林克斯 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PadFEM公司 1份文件引用(2000) 软件作者： R.Diekmann、U.Dralle、F.Neugebauer、T.Römke 相关软件： 刻痕；顶部/DOMDEC；李子… 主要字段： 计算机科学（68-XX）
PDVer版本 2份文件引用(2014–2022) 软件作者： 莱蒙迪，F。；佩彻，C。；G.布拉特。 相关软件： 高尔夫；Java PathFinder；Uppaal公司 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
波莉 1份文件引用(2022) 软件作者： Grosser，T。；格罗斯林格，A。；Lengauer，C。 相关软件： libParanumal；吉米克；SPARTA… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
重新包装 1份文件引用(2023) 软件作者： Nakamura K.、Yoshimoto Y.、Nomura Y.、Tadano T.、Kawamura M.、Kosugi T.等人。 相关软件： 量子浓缩咖啡；瓦尼尔90；征服… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SBLOCK公司 2份文件引用(2012–2020) 软件作者： T.Brandvik和G.Pulan 相关软件： MODESTO公司；ExaSlang；Petalisp… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
抽象区分.jl 在0个文档中引用 软件作者： Frank Schäfer、Mohamed Tarek、Lyndon White、Chris Rackauckas 相关软件： 链规则.jl；SPNets；PyMC… 主要字段： ——
阿努兰 1份文件引用(2003) 软件作者： 约瑟夫·莱多尔；杰哈德·德夫林格；蒂勒，Günter；沃尔夫冈·霍曼 相关软件： Runuran；联合国大学。跑 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）
B测试框 1份文件引用(2021) 软件作者： de Azevedo Oliveira D、Medeiros V、Déharbe D、Musicante MA 相关软件： 罗丹；github；核心ASM… 主要字段： 计算机科学（68-XX）
发电机 在0个文档中引用 软件作者： 弗朗西斯科·奥尔丁（Francisco Ortin）、哈维尔·埃斯卡拉达（Javier Escalada） 相关软件： YARPGen；Frama-C；蟒蛇 主要字段： ——
dfauto公司 1份文件引用(2001) 软件作者： Strange，R。；曼比，F.R。；诺尔斯，P.J。 相关软件： MOLPRO公司；乳胶；枫树 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
GENJAC公司 1份文件引用(1992) 软件作者： F.C.伯杰。；高盛公司。；van Heerwaarden，医学博士。；van Hulzen，J.A。 相关软件： 范围1.5；GENTRAN公司；减少 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
GENTRAN 90公司 1份文件引用(1994) 软件作者： 华盛顿州博斯特。；Goldman，V.V。；van Hulzen，J.A。 相关软件： 范围1.5；手指；GENTRAN… 主要字段： 计算机科学（68-XX）
GWFAST公司 1份文件引用(2023) 软件作者： Francesco Iacovelli、Michele Mancarella、Stefano Foffa、Michele Maggiore 相关软件： WF4Py型 主要字段： 相对论和引力理论（83-XX）
林内亚 1份文件引用(2021) 软件作者： 亨利克·巴瑟尔斯（Henrik Barthels）；克里斯托斯·帕萨拉斯；保罗·比伦蒂内西 相关软件： LAPACK；FFTW；DxTer… 主要字段： 数值分析（65-XX）
模块编写器 1份文件引用(2003) 软件作者： 郑，Christina L。；法里巴·法纳；普纳般若五世乌杜皮。；迈克尔·格里布斯科夫 相关软件： MySQL；数据绑定；sql2java… 主要字段： 计算机科学（68-XX）
muAO-MPC 1份文件引用(2022) 软件作者： Zometa，P.，Kögel，M.，Findeisen，R。 相关软件： FiOrdOs；LiftOpt；Matlab… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
神经构筑物 1份文件引用(2019) 软件作者： Gleeson，P.、Steuber，V.、Silver，R.A。 相关软件： 神经元；蟒蛇；SpineML… 主要字段： 生物学和其他自然科学（92-XX）
PNlib（PNlib） 1份文件引用(2020) 软件作者： Sabrina专业；伯恩哈德·巴赫曼 相关软件： Modelica；PetriFlow；戴莫拉 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
PyCosmo公司 在0个文档中引用 软件作者： Alexandre Refregier、Lukas Gamper、Adam Amara、Lavinia Heisenberg 相关软件： 希望；宇宙科学；宇宙规范… 主要字段： ——
SymPKF公司 在0个文档中引用 软件作者： 奥利维尔·潘尼科克（Olivier Pannekoucke）、菲利普·阿博加斯特（Philippe Arbogast） 相关软件： PDE-NetGen；SymPy公司；蟒蛇 主要字段： ——