×

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

莫塞克

640篇文献引用(1999–2024)
软件作者: 莫斯科ApS
相关软件: YALMIP;SeDuMi公司;SDPT3…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

CGAL公司

引用于425份文件(2000–2024)
软件作者: CGAL编辑委员会
相关软件: LEDA;二维三角剖分;三角形…
主要字段: 凸几何和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

DYNAMO公司

260篇文献引用(1968–2023)
软件作者: 杰伊·赖特·福雷斯特、菲利斯·福克斯、亚历山大·普格三世、格雷斯·杜伦
相关软件: 斯特拉;文西姆;AnyLogic…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

图规划

176篇文献引用(1991–2023)
软件作者: 布卢姆,Avrim L。;梅里克·弗斯特。
相关软件: 步行卫星;PDDL;STAN…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

重新记录

171篇文献引用(1997–2024)
软件作者: 安德烈亚斯·多尔兹曼(Andreas Dolzmann);托马斯·斯图尔姆;沃尔克·魏斯芬宁
相关软件: QEPCAD;z3;枫树…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);计算机科学(68-XX)…

113篇文献引用(2013年至2022年)
软件作者: 克里斯蒂安·索默
相关软件: 算法97;GraphChi;Pregel…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PLINK公司

71篇文献引用(1994–2023)
软件作者: Purcell S、Neale B、Todd-Brown K、Thomas L、Ferreira MAR、Bender D等人
相关软件: R;GCTA;Eigenstrat…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

教堂

在56份文件中引用(2008–2023)
软件作者: Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。
相关软件: 博客;IBAL;ProbLog…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…

火花

38篇文献引用(1990–2023)
软件作者: Darren Foulger;史蒂夫·金
相关软件: JML;规范#;ESC/Java…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

天然气利比亚

46篇文献引用(2015–2023)
软件作者: 柏林祖色学院
相关软件: SCIP;古罗比;游戏…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

SAS/ETS系统

39篇文献引用(1985–2022)
软件作者: SAS公司
相关软件: SAS;R;SAS/STAT…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

TOMP公司

39篇文献引用(1994–2024)
软件作者: 卡夫,D。
相关软件: NLopt;DFVLR-SQP;R、 …
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

POMDPS公司

引用于40篇文献(1998–2023)
软件作者: 罗斯,S。;Pineau,J。;Paquet,S。;Chaib-Draa,B。
相关软件: 目的地;PRMLT;EGO…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

SINTEF公司

引用于40篇文献(2007–2023)
软件作者: Hasle,Geir(编辑);Lie,Knut-Andreas(编辑);Ewald Quak(编辑)
相关软件: Matlab;VRP;FEniCS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

KQML公司

16篇文献引用(1996–2019)
软件作者: 蒂姆·菲宁(Tim Finin)、理查德·弗里茨森(Richard Fritzson)、唐纳德·普·麦凯(Donald P McKay)、罗宾·麦康蒂尔(Robin McEntire)
相关软件: 神童;Globus工具包;Qu-Prolog…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

SIMSCRIPT软件

30篇文献引用(1965–2008)
软件作者: 马科维茨,H.M。;豪斯纳,B。;H.W.卡尔。
相关软件: GASP IV;Ada95;模拟67…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SimVascular公司

27篇文献引用(2017–2024)
软件作者: Updegrove,A。;新墨西哥州威尔逊。;Merkow,J。;兰·H。;Marsden,A.L。;南卡罗来纳州沙登。
相关软件: PETSc;TetGen;克里姆森…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

开放模拟人生

21篇文献引用(2009–2023)
软件作者: Delp,S.L.、Anderson,F.C.、Arnold,A.S.、Loan,P.、Habib,A.、John,C.T.、Guendelman,E.、Thelen,D.G。
相关软件: 任何人;辛博迪;CasADi…
主要字段: 统计学(62-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

CERR公司

20篇文献引用(2006–2022)
软件作者: J.迪西、A.I.布兰科、V.H克拉克
相关软件: Ipopt;Matlab;TROTS…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

猛增

22篇文献引用(1992–2010)
软件作者: 凯蒂尔·桑德尔
相关软件: JDQZ;JDQR;SATZILA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

MetaMorph变形

18篇文献引用(1999–2010)
软件作者: 马图拉纳,F。;沈伟(Shen,W.)。;D.H.诺里。
相关软件: Aglet;莫尔条纹+;Inventor…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

狄拉克++

18篇文献引用(2008–2021)
软件作者: 吉多·莫肯。;克里斯托夫·凯特尔。
相关软件: Dirac_Laczos;FFTW;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

NSIPS公司

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

轨道库

16篇文献引用(2008–2021)
软件作者: 安德烈·普拉泽
相关软件: z3;凯伊迈拉;QEPCAD…
主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…

剂量测定

12份文件引用(2011–2023)
软件作者: 比约恩·博恩坎普、何塞·皮涅罗、弗兰克·布雷茨
相关软件: R;SAS;WinBUGS…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

启发式实验室

10篇文献引用(2004–2022)
软件作者: Stefan Wagner;迈克尔·阿芬泽勒
相关软件: ParaDisEO;欧洲法院;TSPLIB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

MEDLAR公司

14篇文献引用(1995–2013)
软件作者: 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼
相关软件: 枫树;6月2日;BVPh…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

Theta公司*

12份文件引用(2010–2023)
软件作者: 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳
相关软件: 安雅;Matlab;MISER3…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

VHPOP(VHPOP)

10篇文献引用(2003–2021)
软件作者: Younes,H.L.S。;R.G.西蒙斯。
相关软件: 图形平面图;PDDL;UCPOP…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

OptiRisk公司

10篇文献引用(2008–2022)
软件作者:
相关软件: TwitterMonitor;MPI;PySP…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

瓦尔梅特

8份文件引用(2001–2021)
软件作者: Gerig,Guido;Jomier,Matthieu;米兰达·查科斯
相关软件: 批处理生成器;自由冲浪者;HDF5…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

部队NLP

9份文件引用(2018–2023)
软件作者: 扎内利,A。;Domahidi,A。;赫雷斯,J。;M.莫拉里。
相关软件: ACADO;qpOASES;GRAMPC…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

GAMS模型

8份文件引用(2007–2020)
软件作者: GAMS游戏
相关软件: GAMS;林多;Matlab…
主要字段: 历史与传记(01-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

AS 218标准

7份文件引用(1986–1996)
软件作者: 路易斯·埃斯科瓦尔(Luis A.Escobar)。;William Q.jun,米克尔。
相关软件: AS 83;AS 124;AS 138…
主要字段: 统计学(62-XX);数值分析(65-XX)

CNOP公司

7份文件引用(1997–2011)
软件作者: Mehlhorn,K。;齐格尔曼,M。
相关软件: 数学软件
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

DISPRO公司

7份文件引用(1981–2017)
软件作者: V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。
相关软件: 规划师;DISNEL公司;Matlab…
主要字段: 历史与传记(01-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

通用包装4AC

6篇文献引用(2019–2024)
软件作者: 凯萨琳娜·艾根斯佩格;马吕斯·林道尔;弗兰克·哈特
相关软件: irace;帕拉米尔斯;自我…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

深红色的

5份文件引用(2022–2023)
软件作者: 亚瑟,C。;赫列布尼科夫,R。;梅尔维尔,A。;A.戈麦斯。;Dillon-Murphy,D。;库莫,F。;维埃拉,M。;肖伦伯格,J。;Lynch,S。;Tossas-Betancourt,C.等人。
相关软件: 双血管;U-Net;nnU-Net…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

控制工具箱

3份文件引用(2020年至2022年)
软件作者: 马库斯·吉夫塔勒(Markus Giftthaler)、迈克尔·纽内特(Michael Neunert)、马库斯·斯泰布尔(Markus Stäuble)、乔纳斯·布赫利(Jonas Buchli)
相关软件: 阿卡多斯;ACADO;Matlab…
主要字段: 数值分析(65-XX);计算机科学(68-XX);系统论;对照(93-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)

matRad公司

4份文件引用(2019年-2023年)
软件作者: 西斯特纳斯,E。;Mairani,A。;齐根海因,P。;Jäkel,O。;M.班格特。
相关软件: TROTS;Pareto Surface Navigator;GitHub…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

ParSSSE公司

4份文件引用(2011年至2018年)
软件作者: 孙燕华;郑耿彬;普里蒂什·杰特利;Laxmikant V.卡莱。
相关软件: GAMS;ParaSCIP;卵石…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

规划师

4份文件引用(1991–2000)
软件作者: V.S.Mikhalevich、I.V.Sergienko、V.A.Trubin、N.Z.Shor、N.G.Zhurbenko、T.T.Lebedeva、V.I.Artemenko、V.I.Gershovich、E.S.Karpinka
相关软件: 显示;DISNEL公司;游戏…
主要字段: 历史与传记(01-XX);数值分析(65-XX);计算机科学(68-XX)…

SYSWELD公司

4份文件引用(2014–2024)
软件作者: ESI集团
相关软件:
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

设计v2

3份文件引用(2003–2006)
软件作者: 史密斯,D.M。;里多特,M.S。
相关软件: NPSOL;LISP-STAT;AS 245…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)

德雷克

2份文件引用(2020–2024)
软件作者: 俄罗斯特德雷克;德雷克开发团队
相关软件: MuJoCo;CAZSL;Optimica…
主要字段: 组合数学(05-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

FFTW公司++

3份文件引用(2012–2018)
软件作者: 鲍曼JC,罗伯茨M。
相关软件: FFTW公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)

fireLib文件

2份文件引用(2012–2019)
软件作者: 贝文斯,C。
相关软件: CUDA;表现;FARSITE…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

FourCastNet公司

3份文件引用(2023–2024)
软件作者: 贾迪埃普·巴沙克(Jaideep Pathak);Subramanian,Shashank;彼得·哈林顿(Peter Harrington);桑吉耶夫·拉贾;阿什什·查托帕迪亚伊(Ashesh Chattopadhyay);莫特萨·马尔达尼(Morteza Mardani);托尔斯滕·库思;霍尔,大卫;李宗毅;阿齐扎德涅谢利(Azizzadenesheli),卡姆亚尔(Kamyar);Hassanzadeh,佩德拉姆;卡希纳特,卡尔西克;阿南德库马尔(Animashre Anandkumar)
相关软件: U-Net;OpenFWI;地震网…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

OpenSCAD(OpenSCAD)

3份文件引用(2019–2021)
软件作者: 马吕斯·金特尔
相关软件: OpenQBMM;Gmsh;OpenFOAM…
主要字段: 总体主题;藏品(00-XX);几何(51-XX);数值分析(65-XX)…

WASP公司

3份文件引用(1982–2020)
软件作者: IAEA奥地利维也纳
相关软件:
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

船员

1份文件引用(2019)
软件作者: Gary F.Margrave。;Michael P.拉穆勒克斯。
相关软件: Matlab公司
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);地球物理学(86-XX)

gNUFFTW公司

1份文件引用(2019)
软件作者: 特蕾莎·欧
相关软件: 捷运局;MIRT;FINUFFT…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

科尔马

1份文件引用(2015)
软件作者: 谢里夫扎德,莫森;阿法利德,何塞因;Khalafi,Hosein;雷扎·戈利波尔
相关软件: Matlab;MCNP4C型
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX);量子理论(81-XX)

包装助手

1份文件引用(2017)
软件作者: 弗劳恩霍夫SCAI
相关软件: 增长;彪马;OpenNebula…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX)

电源_页面

1份文件引用(2007年)
软件作者: Michael Z.Man、Xuning Wang、Yixin Wang
相关软件: 电子页面
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

SoBT-RFW系统

1份文件引用(2015)
软件作者: Pradipta马吉;罗伊,沙斯瓦蒂
相关软件:
主要字段: 数值分析(65-XX);生物学和其他自然科学(92-XX)

TuPAQ公司

1份文件引用(2020)
软件作者: Evan R.Sparks、Amee Talwalkar、Michael J.Franklin、Michael I.Jordan、Tim Kraska
相关软件: 阿达德尔塔;HSL-VF05;EMNIST…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

筛选结果依据…

全部的 前5名

相关软件