×

找到371个软件包(结果1-100)

蟒蛇

1422年文献引用(1991–2025)
软件作者: 吉多·范罗苏姆
相关软件: SciPy;数字Py;Matplotlib…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

朱莉娅

651份文件引用(2014–2024)
软件作者: Bezanson J、Karpinski S、Shah VB、Edelman A
相关软件: JuMP;github;微分方程.jl…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

MapReduce

214篇文献引用(2008–2024)
软件作者: 潘杰;弗莱德里克·马古莱斯;亚恩·勒比安尼克
相关软件: Hadoop;火花;Apache Spark…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

科学实验室

173篇文献引用(1999–2023)
软件作者: Scilab企业;里卡多·法布里
相关软件: Matlab;倍频程;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

JavaScript脚本

137篇文献引用(1996年-2023年)
软件作者: 弗拉纳根
相关软件: 蟒蛇;PHP;节点.js…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

高尔夫

158份文件引用(1996–2024)
软件作者: 赫克托·J·列夫斯克(Hector J.Levesque)。;雷蒙德·雷特(Raymond Reiter);Lespérance,伊夫斯;林方珍;Richard B.舍尔。
相关软件: ConGolog;AgentSpeak;METATEM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

灰姑娘

95篇文献引用(1999–2023)
软件作者: 尤尔根·里希特·盖伯特(Jürgen Richter-Gebert);乌尔里希·科尔滕坎普
相关软件: 几何画板;GeoGebra;GEX…
主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…

AspectJ公司

99篇文献引用(2001–2022)
软件作者: 格雷戈·基泽莱斯(Gregor Kiczales);埃里克·希尔斯代尔;Jim Hugunin;米克·克尔斯滕(Mik Kersten);杰弗里·帕尔姆
相关软件: 凯撒J;JBoss;JAsCo…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

LISP公司

114篇文献引用(1960–2023)
软件作者: 约翰·麦卡锡
相关软件: ACL2;NQTHM;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

列表-统计

88篇文献引用(1977–2019)
软件作者: 卢克·蒂尔尼
相关软件: R;远景;XGobi…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

皮奥莫

102份文件引用(2012–2024)
软件作者: 威廉·哈特(William E.Hart)。;卡尔·莱尔德;Jean-Paul Watson;大卫·L·伍德拉夫。
相关软件: 古罗比;Ipopt;CPLEX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

达夫尼

104篇文献引用(2010–2024)
软件作者: 鲁斯坦·莱诺
相关软件: z3;Why3;布吉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

有限责任公司

78篇文献引用(2006–2023)
软件作者: Lattner,C.,Adve,V。;伊利诺伊大学
相关软件: z3;朱莉娅;Python…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

卡萨迪

102份文件引用(2012–2024)
软件作者: Joel Andersson;约翰·奥凯森;莫里茨·迪尔
相关软件: Ipopt;Matlab;HSL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

Biq Mac

107篇文献引用(2010–2023)
软件作者: 弗兰兹·伦德尔;乔瓦尼·里纳尔迪;安吉丽卡·威格尔
相关软件: BiqMac;CPLEX;SCIP…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

琳达

77份文件引用(1985–2020)
软件作者: 大卫·盖伦特
相关软件: 科莱姆;石灰;重新规范…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

SAS/IML公司

57篇文献引用(1988–2023)
软件作者: SAS协会
相关软件: SAS;SAS/STAT;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

工具箱LS

59篇文献引用(2005–2023)
软件作者: 员米切尔
相关软件: 顶部.m;椭圆工具箱;ROC-HJ…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

CompEcon公司

56篇文献引用(2002–2023)
软件作者: 玛丽奥·米兰达·保罗·法克勒
相关软件: Matlab;Gensys公司;nwSpGr…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

X减少

53篇文献引用(2003–2020)
软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯)
相关软件: CDuce;XPath;PiDuce…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

CVXGEN公司

在48份文件中引用(2010–2023)
软件作者: J.马丁利;S.博伊德
相关软件: qpOASES;ECOS;fast_mpc…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

Wolfram演示

49篇文献引用(2007–2023)
软件作者: 沃尔夫拉姆
相关软件: 数学;组织环境信息系统;iRRAM…
主要字段: 组合数学(05-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

Daikon公司

41篇文献引用(2005–2022)
软件作者: 迈克尔·D·恩斯特。;Jeff H.Perkins。;菲利普·郭(Philip J.Guo)。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨(Matthew S.Tschantz)。;肖,陈
相关软件: JML;胡迪尼;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

YAP-序言

在48份文件中引用(1999–2022)
软件作者: 维托尔·桑托斯·科斯塔(Vítor Santos Costa)、路易斯·达马斯(Luís Damas)、罗杰里奥·里斯(Rogério Reis)、鲁本·阿泽夫多(Rüben Azevedo)
相关软件: XSB;ProbLog;SWI-预测…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

IF-2.0型

38篇文献引用(2002–2022)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

橡皮擦

36篇文献引用(2000–2021)
软件作者: Savage,S.、Burrows,M.、Nelson,G.、Sobalvaro,P.、Anderson,T。
相关软件: veriSoft;RacerX;班德拉…
主要字段: 计算机科学(68-XX)

MXNet公司

17篇文献引用(2018–2024)
软件作者: T·陈、M·李、Y·李、M·林、N·王、M·王、T·肖、B·徐、C·张、Z·张
相关软件: TensorFlow;PyTorch;咖啡…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

法国DUNE-FEM

41篇文献引用(2010–2023)
软件作者: 安德烈亚斯·德纳;罗伯特·科伦(Robert Klöfkorn);马丁·诺尔特;马里奥·奥尔伯格
相关软件: DUNE;PETSc;交易.ii…
主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…

近似值

37篇文献引用(2011–2023)
软件作者: 卢西安·布索尼乌
相关软件: ElemStatLearn;Scikit;Python…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

LUPS公司

37篇文献引用(1999–2019)
软件作者: 何塞·朱利奥·阿尔弗雷斯;佩雷拉,路易斯·莫尼兹;哈利娜·普尔兹穆森斯卡(Halina Przymusinska);Przymusinski,Teodor C。
相关软件: XSB;平滑;EVOLP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈维隆德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

打开LB

30篇文献引用(2007–2023)
软件作者: 乔纳斯·拉特;马蒂亚斯·J·克劳斯
相关软件: 帕拉博斯;瓦尔贝拉;LB3D…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

dSPIN公司

22篇文献引用(2000–2014)
软件作者: Demartini,C.,Iosif,R.,Sisto,R。
相关软件: 自旋蛋白;班德拉;Java PathFinder…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

POMDP公司

30篇文献引用(2001–2023)
软件作者: 安东尼·卡桑德拉。
相关软件: 棱镜;风暴;古罗比…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

OPERA公司

30篇文献引用(1999–2020)
软件作者: 霍姆斯特罗姆(Kenneth Holmström);比约克曼,马蒂亚斯;埃里克·多特泽尔
相关软件: NLPLIB;TOMLAB公司;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

帕斯卡-SC

27篇文献引用(1984–2016)
软件作者: 鲍伦德(Gerd Bohlender);克里斯蒂安·乌尔里奇;沃尔夫·冯·古登堡,于尔根;路易·B·拉尔。
相关软件: 杰克;枫树;DiffSharp…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

J流量

23篇文献引用(2002–2022)
软件作者: 安德鲁·C·迈尔斯
相关软件: TaintDroid;哈斯克尔;TALx86…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

PAKCS公司

25篇文献引用(1994–2020)
软件作者: M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner
相关软件: 玩具;咖喱;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔多

26篇文献引用(1997–2014)
软件作者: aldor.org;曼纽尔·布朗斯坦
相关软件: AXIOM;枫树;SageMath…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);范畴理论;同调代数(18-XX)…

电子控制面板

引用于20份文件(2015–2023)
软件作者: Nicholas A.James、Wenyu Zhang、David S.Matteson
相关软件: 转折点;wbs;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)…

FDR标签

22篇文献引用(2016–2023)
软件作者: 李,豪森;阿克塞尔·蒙克;席琳,汉内斯
相关软件: wbs;R;早餐…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学编程(90-XX)…

乔坎尔

26篇文献引用(2000–2022)
软件作者: Fornet,塞德里克;法布里斯·勒费桑;Luc Maranget;阿兰·施密特
相关软件: 皮克特;OCaml;PiDuce…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

维也纳RNA

27篇文献引用(2002–2022)
软件作者: Lorenz、Ronny和Bernhart、Stephan H.和Höner zu Siederdessen、Christian和Tafer、Hakim和Flamm、Christoph和Stadler、Peter F.和Hofacker、Ivo L。
相关软件: 法国复兴信贷银行;NNDB;RNA结构…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

CCured公司

18篇文献引用(2002–2018)
软件作者: Necula,G.C.,McPeak,S.,Weimer,W。
相关软件: SLAM;投掷;Java PathFinder…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

CP逻辑

引用于20份文件(2009–2023)
软件作者: Joost Vennekens;马克·德纳克;莫里斯·布吕诺格
相关软件: ProbLog;PITA;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

SDDP公司

引用于20份文件(2019年-2023年)
软件作者: O.道森。;卡佩列维奇。
相关软件: 朱莉娅;JuMP;MSPPy…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);运筹学、数学规划(90-XX)

EVPI公司

引用于20份文件(1997–2020)
软件作者: M.A.H.Dempster和R.T.Thompson
相关软件: MSLiP;GAMS;SLP-IOR…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

MaxSolver(最大解算器)

19份文件引用(2005–2013)
软件作者: 赵星、张伟雄
相关软件: 糠;MiniMaxSat;MiniSat…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

SCIFF公司

19份文件引用(2006–2022)
软件作者: 马可·阿尔贝蒂、费德里科·切萨尼、马可·加瓦内利、伊芙琳娜·拉姆马、保拉·梅洛、保罗·托罗尼
相关软件: 海波测井;棱镜;ProbLog…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

克拉瓦

18篇文献引用(2002–2020)
软件作者: 洛伦佐·贝蒂尼;德尼古拉(De Nicola)、罗科(Rocco);罗萨里奥·普格利泽
相关软件: 科莱姆;琳达;石灰…
主要字段: 计算机科学(68-XX)

雾化器

16篇文献引用(2004–2021)
软件作者: 弗拉纳根C,弗伦德SN
相关软件: 速度记录;单轨;橡皮擦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

FODD-计划

15篇文献引用(2008–2022)
软件作者: Joshi,S。;R.卡顿。
相关软件: FluCaP;图形平面图;高尔夫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

voFoam公司

17篇文献引用(2014–2021)
软件作者: Tomislav Maric、Holger Marschall、Dieter Bothe
相关软件: VOF工具;格里斯;PROST…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

NSIPS公司

16篇文献引用(2003–2023)
软件作者: Vaz,A.Ismael F。;费尔南德斯,Edite M.G.P。
相关软件: SIPAMPL;AMPL;NPSOL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

qpDUNES公司

16篇文献引用(2015–2022)
软件作者: Janick Frasch;汉斯·约阿希姆·费罗(Hans Joachim Ferreau);莫里茨·迪尔;米兰·武科夫
相关软件: qpOASES;ACADO;CVXGEN…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

天基信息平台

12份文件引用(2012–2021)
软件作者: 弗布拉罗,奥诺弗里奥;里尔,克里斯蒂安;弗朗西斯科·里卡
相关软件: 海狮;卡拉;APE…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

对夹2

在14份文件中引用(2014–2022)
软件作者: 胡斯,霍尔格;马吕斯·林道尔;托尔斯滕·绍布
相关软件: 萨齐拉;SMAC;MiniSat…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

戴纳

13份文件引用(2008–2022)
软件作者: 杰森·艾斯纳;埃里克·戈德鲁斯特(Eric Goldlust);诺亚·A·史密斯;西北部菲拉多。
相关软件: ProbLog;棱镜;kProbLog…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

kFOIL公司

在14份文件中引用(2007–2022)
软件作者: Landwehr,N.、Passerini,A.、De Raedt,L.、Frasconi,P。
相关软件: nFOIL;阿列夫;UCI-ml…
主要字段: 数学逻辑与基础(03-XX);功能分析(46-XX);统计学(62-XX)…

PORGY公司

15篇文献引用(2011–2023)
软件作者: 玛丽贝尔·费尔南德斯;赫莱内·基什内尔
相关软件: AGG;沟槽;埃兰…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

TM-对齐

引用于9份文件(2009–2021)
软件作者: Zhang,Y.,Skolnick,J。
相关软件: 爆炸;PSI-爆炸;ClustalW…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

CArtAgO公司

7份文件引用(2009–2011)
软件作者: 亚历山德罗·里奇;安德烈亚·桑蒂(Andrea Santi);米歇尔·皮安蒂;米尔科·维罗利;安德烈亚·奥米西尼(Andrea Omicini);马可·吉迪;马蒂亚·米诺蒂
相关软件: 杰森;Jadex公司;代理发言…
主要字段: 计算机科学(68-XX)

高温气冷堆

在14份文件中引用(2018–2023)
软件作者: Michael Abseher;穆斯利乌·奈斯雷特(Nysret Musliu);斯特凡·沃尔特兰
相关软件: GANAK公司;克林戈;夏普…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…

KAAPI公司

8份文件引用(2007–2021)
软件作者: 蒂埃里·戈蒂埃;泽维尔·贝塞隆;洛朗鸽子
相关软件: LinBox;西尔克;星PU…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

柱塞

在14份文件中引用(1991–2009)
软件作者: 乞丐,伊凡;吴玲;安德烈亚斯·穆勒;彼得·普尔兹比舍夫斯基;罗兰·R;威廉·索耶
相关软件: 进度;SPARSKIT;ITSOL公司
主要字段: 代数几何(14-XX);范畴理论;同调代数(18-XX);实函数(26-XX)…

DAGuE公司

11份文件引用(2011–2019)
软件作者: 乔治·博西尔卡(George Bosilca)、奥雷琳·布特伊勒(Aurelien Bouteiller)、安东尼·达纳利斯(Anthony Danalis)、托马斯·赫劳(Thomas Herault)、皮埃尔·勒马利尼尔(Pierre Lemarinier)、杰
相关软件: LAPACK;血浆;岩浆…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

迪伦

12份文件引用(1996–2014)
软件作者: 沙利特A
相关软件: 蟒蛇;埃菲尔;塞西尔…
主要字段: 统计学(62-XX);计算机科学(68-XX)

爱迪生

12份文件引用(1992–2009)
软件作者: 曾荫权(Edward Tsang)
相关软件: 间隙;Matlab;EVIM公司
主要字段: 群论与推广(20-XX);统计学(62-XX);数值分析(65-XX)…

MSPPy公司

12份文件引用(2020–2023)
软件作者: 丁L、艾哈迈德S、夏皮罗A
相关软件: SDDP;JuMP;古罗比…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;对照(93-XX)

StOpt公司

11份文件引用(2017–2023)
软件作者: 雨果·格夫雷特(Hugo Gevret)、尼古拉·朗格伦(Nicolas Langrené)、杰罗姆·勒隆(Jerome Lelong)、泽维尔·沃林(Xavier Warin)、阿迪蒂亚·马赫什瓦里(Aditya Maheshwari)
相关软件: JuMP;StochDynamicProgramming.jl;结构双DynLog.jl…
主要字段: 变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

ATGen公司

6篇文献引用(2005–2022)
软件作者: 克里斯托夫·穆代克
相关软件: 快速检查;派克斯;路特斯…
主要字段: 计算机科学(68-XX)

MUI公司

11份文件引用(2015–2021)
软件作者: 唐玉红;Kudo、Shuhei;卞、欣;李震;乔治·埃姆·卡尼亚达基斯
相关软件: 预CICE;地址;OpenFOAM…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

Ckmeans.d.dp

11份文件引用(2015–2023)
软件作者: 乔·宋和王海洲
相关软件: CVX;OR-库;PMTK…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

JAsCo公司

6篇文献引用(2003–2008)
软件作者: Cibrán,María Agustina;D'Hondt,Maja;戴维·苏韦;范德佩伦,维姆;维维安·乔克斯
相关软件: 方面J;JBoss;ASSAM…
主要字段: 计算机科学(68-XX)

贾斯

5份文件引用(2005–2009)
软件作者: Bartetzko,医学博士,Fischer,C.,Wehrheim,H。
相关软件: JML;埃菲尔;规范#…
主要字段: 计算机科学(68-XX)

VeriCool公司

10篇文献引用(2009–2022)
软件作者: Smans,J.、Jacobs,B.、Piessens,F。
相关软件: 布吉;VeriFast;VCC…
主要字段: 计算机科学(68-XX)

阿西莫洛

7份文件引用(2015–2023)
软件作者: 安德森·C·Führer·C·奥凯森·J·。
相关软件: 蟒蛇;日晷;F2PY…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

考拉

10篇文献引用(2010–2013)
软件作者: 马丁·格布瑟(Martin Gebser);托尔斯滕·格罗特;托尔斯滕·绍布
相关软件: CCalc;f2lp;Cplus2ASP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LZeroSpike推断

10篇文献引用(2018–2023)
软件作者: 肖恩·朱厄尔(Sean Jewell);丹妮拉·维滕
相关软件: ElemStatLearn;wbs;FDRSeg…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

多媒体卡

引用于9份文件(2003–2020)
软件作者: 杨平;罗马克里希南,C.R。;斯科特·斯莫尔卡。
相关软件: MWB;MCK;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

CGH绘图仪

8份文件引用(2004–2018)
软件作者: Reija Autio;Sampsa Hautaniemi;Päivikki Kauraniemi;Olli Yli-Harja;雅科·阿斯托拉;Maija Wolf;安妮·卡利奥尼米
相关软件: 分段器3IsBack;科恩塞格;ecp…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

演示

引用于9份文件(2007–2021)
软件作者: 扬·范·埃伊克
相关软件: SMCDEL公司;MCK;MCMAS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

GUSS公司

引用于9份文件(2012–2022)
软件作者: Michael R.Bussieck。;Michael C.Ferris。;蒂莫·洛曼
相关软件: GAMS;AIMMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

伊比斯

1份文件引用(2009)
软件作者: Nieuwpoort R.、Maassen J.、Wrzesinska G.、Hofman R.F.H.、Jacobs C.J.H.、Kielmann T.、Bal H.E
相关软件: CUDA;MPJ Express;NAS并行基准…
主要字段: 计算机科学(68-XX)

L2WPMA公司

8份文件引用(2002–2022)
软件作者: 约阿尼斯·德米特里奥
相关软件: FITPACK;Sheppack;QSHEP5D…
主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…

分段器3IsBack

5份文件引用(2017–2021)
软件作者: Alice Cleynen、Michel Koskas、Emilie Lebarbier、Guillem Rigaill、Stephane Robin
相关软件: 转折点;wbs;R、 …
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

AO4BPEL公司

2份文件引用(2012–2013)
软件作者: 查菲A,梅齐尼M
相关软件: WebSphere;JML;WSAT…
主要字段: 计算机科学(68-XX)

D-扁平

8份文件引用(2012–2020)
软件作者: Bliem,B.,Morak,M.,Woltran,S。;Abseher,M.、Bliem,B.、Charwat,G.、Dusberger,F.、Hecher,M。
相关软件: 克林戈;杰拉西尔;ComputeTW…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

动态ASP

8份文件引用(2010–2023)
软件作者: 迈克尔·莫拉克(Michael Morak);莱因哈德·皮克勒;Rümmele,Stefan;斯特凡·沃尔特兰
相关软件: 克林戈;杰拉西尔;收件人…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

地球——曼纳

4份文件引用(2002–2004)
软件作者: 安吉拉·苏丹。
相关软件: Multilisp;西尔克;NAS并行基准…
主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

GPAW焊接

2份文件引用(2016–2021)
软件作者: J.Enkovaara、N.A.Romero、S.Shende、J.J.Mortensen
相关软件: 蟒蛇;ABINIT公司;ASE…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX);统计力学,物质结构(82-XX)

IMOST公司

8份文件引用(1995–2009)
软件作者: 赖,Young-Jou
相关软件: 术语
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

即兴的

8份文件引用(2002–2011)
软件作者: 埃拉·格里希卡什维利;艾伦,M。;Taleb-Bendiab,A。
相关软件:
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);功能分析(46-XX)…

MUSCOP公司

8份文件引用(2001–2023)
软件作者: 安德烈亚斯·波茨赫卡
相关软件: 纽顿图书馆;ADOL-C;区块SQP…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);整体分析,流形分析(58-XX)…

Pnuts(Pnuts)

8份文件引用(2000年-2010年)
软件作者:
相关软件: JASP;贾斯普;XploRe…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

PROCOL公司

7份文件引用(1991–2002)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

SOPRA公司

7份文件引用(2015–2021)
软件作者: A.Dayarian、T.P.Michael、A.M.Sengupta
相关软件: 草地;SCARPA;Bambus 2…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

数字音频放大器

7份文件引用(2010–2022)
软件作者: 布莱恩·法比恩(Brian C.Fabien)。
相关软件: OOQP;SOCS;qpOASES…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

GeneScout公司

3份文件引用(2007–2009)
软件作者: 尹,Michael M。;Jason T.L,王
相关软件: iPiG;KNIME;MyriMatch…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

筛选结果依据…

全部的 前5名

相关软件