数学软件 引用于6560份文件(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
LGO公司 106篇文献引用(1996–2024) 软件作者： János D.Pintér。 相关软件： Maple的全局优化工具箱；算法829；直接… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UFL公司 93篇文献引用(2010–2023) 软件作者： Alns，Martin s。；Logg，Anders；克里斯蒂安·B·奥尔加德。；玛丽·罗格内斯（Marie E.Rognes）。；加思·N·威尔斯。 相关软件： FEniCS；PETSc；Firedrake… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OSQP公司 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
移动网络 39篇文献引用(2019–2024) 软件作者： Andrew G.Howard、Menglong Zhu、Bo Chen、Dmitry Kalenichenko、Weijun Wang、Tobias Weyand、Marco Andreetto、Hartwig Adam 相关软件： ImageNet；ShuffleNet；AlexNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
StarPU公司 32篇文献引用(2012–2023) 软件作者： C.Augonnet、S.Thibault、R.Namyst、P.-A.Wacrenier 相关软件： CUDA；血浆；OpenCL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AMReX公司 37篇文献引用(2019–2024) 软件作者： 安·阿尔姆格伦 相关软件： p4测试；格里斯；Chombo… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·顿泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
繁荣 23篇文献引用(2000–2009) 软件作者： 路易斯·丹尼斯（Louise A.Dennis）。；格雷厄姆·柯林斯；迈克尔·诺里什（Michael Norrish）；理查德·博尔顿（Richard Boulton）；斯林德，康拉德；格雷厄姆·罗宾逊（Graham Robinson）；迈克·戈登；汤姆·梅尔姆 相关软件： PVS；OMRS；甘道夫… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
咖啡 引用于20份文件(2016–2021) 软件作者： Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件： Firedrake；PETSc；TSFC… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
乔托 17篇文献引用（2001年至2022年） 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
内部控制系统 19份文件引用(2001–2016) 软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
OPTIMAS公司 19份文件引用(1993–2021) 软件作者： 佩金，S。；爱泼斯坦，B。 相关软件： 基因组学；TensorFlow；Pluribus… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
分散 17篇文献引用(2003–2023) 软件作者： 布莱恩·帕夫拉科维奇（Brian Pavlakovic）、迈克·洛（Mike Lowe）、大卫·艾琳（David Alleyne）、彼得·考利（Peter Cawley） 相关软件： Matlab；ARPACK；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CST微波工作室 14篇文献引用(2002–2022) 软件作者： CST计算机仿真技术股份公司 相关软件： CST工作室套房；波浪；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
MotifMiner公司 1份文件引用（2013年） 软件作者： 科特尼，M。；Parthasarathy，南卡罗来纳州。 相关软件： 衣柜；UCI-ml；WordSpy… 主要字段： 生物学和其他自然科学（92-XX）
开放UH 3份文件引用(2008–2016) 软件作者： 埃尔南德斯，奥斯卡；金浩强；芭芭拉·查普曼 相关软件： TAU；科扎克；GenIDLEST… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）
RInside公司 3份文件引用(2013–2015) 软件作者： 德克·埃德布特尔；罗曼·弗朗索瓦 相关软件： R；卢比；服务… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ScalaBLAST 4份文件引用(2008–2020) 软件作者： Oehmen，C。；贾勒克·尼普洛查 相关软件： 爆炸；k表示++；AS 136… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
传感器DCSP 4份文件引用(2005–2020) 软件作者： Béjar，拉蒙；卡梅尔·多姆什拉克；塞萨尔·费尔南德斯；卡拉·戈麦斯；克里斯纳马查里（Krishnamachari，Bhaskar）；巴特·塞尔曼；瓦尔斯，马格达 相关软件： DisChoco；CSPLib；算法97… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
PAFMPB公司 6篇文献引用(2015–2019) 软件作者： 张波；彭博；黄景芳；Nikos P.Pitsianis。；孙小白；卢、本佐 相关软件： 塔比卜；TMSmesh；AFMPB… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ARMor公司 5份文件引用(2013–2020) 软件作者： Zhao，L.、Li，G.、Sutter，B.D.、Regehr，J。 相关软件： HOL；seL4；MiBench… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
瑞士法郎 4份文件引用（2002年至2018年） 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijves 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
苹果汁 3份文件引用(2002–2004) 软件作者： 安东尼·詹森（Anthony R.Jansen）。；Kim万豪酒店；伯恩德·梅耶 相关软件： AToM3；DiaGen；QOCA公司 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
GSEA-P公司 2份文件引用(2015–2016) 软件作者： Subramanian，A.、H.Kuehn、J.Gould、P.Tamayo和J.P.Mesirov 相关软件： 生物晶格；org.Hs.eg.db；摄像头… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
活动性 3份文件引用(2008–2014) 软件作者： Stevens，D.、Dragicevic，S.和Rothley，K。 相关软件： LUCAS；FANN；AntNet… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
预测 2份文件引用(2001–2006) 软件作者： NeuralWare公司 相关软件： QL2；多元分析师；SAS TextMiner… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
跳过器 4份文件引用(2001–2007) 软件作者： 雷米·库达尔彻；佛罗伦萨杜库蒂；乔斯琳·塞洛特（Jocelyn Serot）；弗莱德里克陪审团；Jean-Pierre Derutin；米歇尔·德霍姆 相关软件： eSkel公司；BSMLlib；伊甸园… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
sngan_项目 3份文件引用(2020–2022) 软件作者： 宫本武鲁、小山正男 相关软件： InfoGAN；比根；收件人：… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
联合国排雷行动方案 4份文件引用(1994–1997) 软件作者： Heuberger，P.S.C。；詹森，P.H.M。；桑德斯R 相关软件： – 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
ELATE公司 2份文件引用(2018–2022) 软件作者： 罗曼·盖拉克（Romain Gaillac）、普鲁顿·普伦比（Pluton Pullumbi）、弗朗索瓦·沙维尔·库德特（François-Xavier Coudert） 相关软件： Mathematica；瓶子；阴谋… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
Enrichr公司 2份文件引用(2015–2016) 软件作者： E.Y.Chen、C.M.Tan、Y.Kou、Q.Duan、Z.Wang、G.V.Meirelles、N.R.Clark、A.Ma'ayan、， 相关软件： 生物导体；R；COHCAP… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
NC-Maude公司 2份文件引用(2014–2023) 软件作者： 马克·博伊尔 相关软件： COINC公司；RTC工具箱；科雷利… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
内波 2份文件引用(2016–2020) 软件作者： C.Earl、M.Might、A.Bagusetty、J.C.Sutherland 相关软件： CUDA；地毯；Kranc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
海洋 3份文件引用(1997–2004) 软件作者： 阿尔茨，巴斯；米歇尔·巴雷托；弗兰·博丹{c} 操作系统; 彼得·布林豪斯；查姆斯基，兹比格尼乌；亨利·皮埃尔（Henri-Pierre Charles）；克里斯汀·艾森贝斯（Christine Eisenbeis）；约翰·古德；Hoogerbrugge，Jan；胡平；威廉·贾尔比；克尼嫩堡，Peter M.W。；迈克尔·F.P.奥博伊尔。；欧文·罗侯；利佐斯·萨凯拉里奥（Rizos Sakellariou）；Schepers，Henk；塞兹涅克，安德烈；St“ohr，Elena；Verhoeven，Marco；Wijshoff，Harry A.G。 相关软件： FADAlib；PHiPAC；阿特拉斯 主要字段： 计算机科学（68-XX）
塞林克 3份文件引用(2014–2022) 软件作者： 丹尼尔·斯科佩（Daniel Schoepe）；丹尼尔·赫丁（Daniel Hedin）；安德烈·萨贝尔菲尔德 相关软件： JSLINQ公司；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
VeriStar公司 3份文件引用(2012–2016) 软件作者： 戈登·斯图尔特；Lennart Beringer；安德鲁·W·阿佩尔。 相关软件： Coq；jStar；小脚… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
网络 1份文件引用(2011) 软件作者： 尼古拉·赞博尼（Nicola Zamboni）、安妮·库梅尔（Anne Kümmel）、马蒂亚斯·海尼曼（Matthias Heinemann） 相关软件： 林多；expa；CPLEX… 主要字段： 数值分析（65-XX）；经典热力学，传热（80-XX）
深度TL 2份文件引用(2019–2021) 软件作者： Mi，Xinlei；Patrick Tighe；邹飞；邹白明 相关软件： R；ITRLearn公司 主要字段： 统计学（62-XX）；计算机科学（68-XX）
沙漠FD 在0个文档中引用 软件作者： Eames，Brandon K。；妮玛、桑迪普·K·。；罗希特·萨拉斯瓦特 相关软件： 禁忌搜索；SICStus公司；FaMa… 主要字段： 计算机科学（68-XX）
停靠应用程序 2份文件引用(2018) 软件作者： Di Muzio，E。；托蒂，D。；F.波提切利。 相关软件： SODOCK；GalaxySite；GalaxyDock… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
DynaMoW公司 2份文件引用(2011) 软件作者： 弗雷德里克·切扎克；亚历克西斯·达拉斯 相关软件： OCaml；Camlp4；组织环境信息系统 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ESPADON公司 2份文件引用(2003–2006) 软件作者： Bob K.Madahar。；艾恩·阿尔斯通（Ian D.Alston）。；丹尼斯·奥拉格尼尔；汉斯·舒勒；马克·托马斯（Mark Thomas）；布里吉特·萨吉特 相关软件： 锡林克斯 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
柔性CC2 2份文件引用(2002–2009) 软件作者： 瓦莱里·伯廷；Jean-Marc Davou；菲利普·纪尧姆（Philippe Guillaume）；勒普利、蒂埃里；丹尼斯·皮拉特；Claire Richard；米格尔·桑塔纳；托马斯·塞利 相关软件： IF-2.0型 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
GAPJS公司 2份文件引用(2019–2022) 软件作者： 维托里奥·马尼埃佐；博切蒂（Marco A.Boschetti）。；Carbonaro，Antonella；马尔佐拉，莫雷诺；弗朗西斯科·斯特拉帕瓦奇亚 相关软件： TensorFlow；pmdarima；Scikit… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
网格工具 1份文件引用(2024) 软件作者： 安东·阿法纳西耶夫（Anton Afanasyev）、毛罗·比安科（Mauro Bianco）、卢卡斯·莫西曼（Lukas Mosimann）、卡洛斯·奥苏纳（Carlos Osuna）、费利克斯·泰勒（Felix Thaler）、汉内斯·沃格特（Hannes Vogt）、奥利弗·福勒（Oliver Fuhrer 相关软件： 斯特拉；COSMO；P旋流器… 主要字段： 流体力学（76-XX）；地球物理学（86-XX）
拉马 2份文件引用(2013–2017) 软件作者： 弗劳恩霍夫SCAI；托马斯·布兰德斯、埃里克·施里克、托马斯·索德曼 相关软件： 增长；彪马；OpenNebula… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）
LPMD公司 2份文件引用(2010–2021) 软件作者： 塞尔吉奥·戴维斯；洛约拉，克劳迪娅；费利佩·冈萨雷斯（Felipe Gonz'alez）；佩拉塔，约阿库 相关软件： DL_POLY_3；发霉 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
工厂GL 1份文件引用（2013年） 软件作者： 普拉达尔，C。；Boudon，F。；努吉尔，C。；乔帕德，J。；C.戈丁。 相关软件： Matlab；pydelay公司 主要字段： 生物学和其他自然科学（92-XX）
SNet（网络） 1份文件引用(2002) 软件作者： 甘斯，Günter；Gerhard Lakemeyer；马蒂亚斯·贾克；托马斯·维茨 相关软件： ConGolog；高尔夫 主要字段： 计算机科学（68-XX）
Tempus公司 2份文件引用(2021) 软件作者： Ober，C。；康德，S。；帕洛夫斯基，R。 相关软件： 小屋；EMPIRE-PIC；Amesos2… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CoAdELL公司 1份文件引用(2017) 软件作者： 马可·马吉奥尼（Marco Maggioni）、坦尼亚·伯格尔·沃尔夫（Tanya Berger-Wolf） 相关软件： 保管；ITPACK；AdELL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
DDFS3D 1份文件引用(2021) 软件作者： Wong，Louis Ngai Yuen；崔欣 相关软件： – 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
熟食店 1份文件引用(2002) 软件作者： 朱塞佩·德索利；尼古拉·马泰耶夫；伊芙琳·杜斯特瓦尔德；保罗·法拉博斯基（Paolo Faraboschi）；乔什·费舍尔 相关软件： MiBench公司 主要字段： 计算机科学（68-XX）
电子商务 在0个文档中引用 软件作者： 约翰·达拉维；格兰特·爱德华兹；尼克·加内特；谢尔盖·加夫里科夫；伊利亚·科乔；乔纳森·拉穆尔；安德鲁·伦恩（Andrew Lunn）；马克·索尔特；加里·托马斯；巴特·维尔 相关软件： – 主要字段： –
ERC公司 在0个文档中引用 软件作者： Daniel W.Chang；克里斯蒂弗·D·詹金斯；菲利普·加西亚（Philip C.Garcia）；Syed Z.Gilani；保拉·阿奎莱拉；Aishwarya Nagarajan；迈克尔·安德森；马修·肯尼（Matthew A.Kenny）；肖恩·鲍尔（Sean M.Bauer）；迈克尔·舒尔特（Michael J.Schulte）；凯瑟琳·康普顿 相关软件： CUDA公司 主要字段： –
芬兰-R 在0个文档中引用 软件作者： 迈克拉·布洛特；托马斯·普鲁塞尔（Thomas Preusser）；尼古拉斯·弗雷泽；朱利奥·甘巴德拉；肯尼斯·奥布莱恩（Kenneth O'Brien）；亚曼·乌穆鲁格鲁 相关软件： fpga转换网络 主要字段： –
JoiN公司 在0个文档中引用 软件作者： E.J.H.Yero、F.de Oliveira Lucchese、F.S.Sambatti、M.V.Zuben；M.A.A.亨里克 相关软件： – 主要字段： –
Lambda本地 在0个文档中引用 软件作者： 彼得森（Christian L.Petersen）。；Gorges，Matthias；Dunstuir，Dustin；安瑟米诺，马克；盖·杜蒙特（Guy A.Dumont）。 相关软件： github 主要字段： –
单克隆抗体 1份文件引用(2019) 软件作者： 达维德·加迪奥利；维塔利、伊曼纽尔；吉安卢卡·巴勒莫；克里斯蒂娜·西尔瓦诺 相关软件： 精密路径指示器；多维数据集浏览器；兄弟姐妹竞争… 主要字段： 计算机科学（68-XX）
PiCode（PiCode） 1份文件引用(2016) 软件作者： 陈昌盛；黄文坚；周保健；刘晨晨；Mow，Wai Ho先生 相关软件： ViCode公司 主要字段： 信息与通信理论，电路（94-XX）
急板地 1份文件引用(2022) 软件作者： 塞纳帕蒂，德布拉塔；阿纳布·萨卡尔（Arnab Sarkar）；钱丹·卡法 相关软件： iFogSim；CPLEX公司 主要字段： 计算机科学（68-XX）
PX4型 1份文件引用（2020年） 软件作者： Lorenz Meier；Dominik Honegger；马克·波利菲斯 相关软件： github；OpenSim；量子浓缩咖啡… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
QuESo公司 1份文件引用(2024) 软件作者： 我是曼纽尔（Manuel）；斯特凡·科尔曼斯伯格；罗兰德·瓦什内尔（Roland Wüchner）；凯乌·布莱辛格 相关软件： github；Thingi10K；OBBTree… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
比赛 1份文件引用（2010年） 软件作者： 罗珊·拉格尔（Roshan Ragel）；安布罗斯，安吉洛；Jorgen Peddersen；斯里·帕拉梅斯瓦兰 相关软件： – 主要字段： 计算机科学（68-XX）
核糖体构建器 1份文件引用(2005) 软件作者： 威廉·奈特；沃尔特·希尔；Lodmell，J.斯蒂芬 相关软件： MMTK；VMD；Lua… 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）
scsh公司 1份文件引用(2005) 软件作者： Olin Shivers；布莱恩·卡尔斯特罗姆（Brian Carlstrom）；马丁·加斯比克勒；迈克·斯珀伯 相关软件： MzScheme；GNU广告；SUnet公司 主要字段： 计算机科学（68-XX）