×

找到234个软件包(结果1–100)

ISOGAT公司

344份文件引用(2009–2024)
软件作者: Vuong,A.-V。;Heinrich,Ch。;B.西蒙。
相关软件: GeoPDE;Matlab;G+Smo…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

DOLFIN公司

235篇文献引用(2004–2023)
软件作者: Anders Logg、Johan Hoffman、Garth N.Wells、Johan Jansson、Ola Skavhaug、Kent Andre Mardal、Martin Sandve Alnes、Johan Hake、Niclas Jansson、Johannes Ring、Kristian B.Ölgaard、Marie Rognes
相关软件: FEniCS;PETSc;UFL…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

BEMECH公司

123篇文献引用(2002–2024)
软件作者: 高晓伟;特雷弗·G·戴维斯。
相关软件: RIM_DOM公司。F90;GeoPDE;BDEM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

卡萨迪

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

ESOFRAME公司

99篇文献引用(1997–2023)
软件作者: 谢永明。;史蒂文,G.P。
相关软件: 顶部.m;前88米;Matlab…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

序言

58篇文献引用(1984–2022)
软件作者: 丹尼尔·迪亚兹
相关软件: SICStus公司;SWI-预测;芯片…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

JPEG2000格式

61篇文献引用(2002年-2023年)
软件作者: Seo、Yeong Geon;Kim,Kwon Soo;Kim、Sung Gyun
相关软件: 蟒蛇;BM3D;VisualSEEk…
主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…

蛋糕ML

60篇文献引用(2014–2023)
软件作者: 库马尔,拉马纳;玛格努斯·奥·米林(Magnus O.Myreen)。;迈克尔·诺里什(Michael Norrish);斯科特·欧文斯
相关软件: Isabelle/HOL;Coq;HOL…
主要字段: 一般性和全局性主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

微型ML

58篇文献引用(2000–2023)
软件作者: 戴维斯,罗文;弗兰克·芬宁
相关软件: Coq;毫升;佩斯卡…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

PCx公司

51篇文献引用(1999–2023)
软件作者: 约瑟夫·齐兹克(Joseph Czyzyk);桑杰·梅赫罗特拉(Sanjay Mehrotra);迈克尔·瓦格纳(Michael Wagner);斯蒂芬·J·赖特。
相关软件: 利普索;HOPDM;NETLIB LP测试集…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

蒙特蟒蛇

38篇文献引用(2017–2024)
软件作者: 本杰明·奥德伦(Benjamin Audren)、朱利安·莱斯古格斯(Julien Lesgougues)、卡里姆·贝纳贝德(Karim Benabed)、西蒙·普鲁内特(Simon Prunet)
相关软件: 阶级;MontePython 3;获取分布…
主要字段: 偏微分方程(35-XX);光学、电磁理论(78-XX);量子理论(81-XX)…

MpCCI公司

38篇文献引用(2002–2022)
软件作者: SCAI弗劳恩霍夫研究所;W.Joppich,M.库尔施纳
相关软件: 预CICE;COMSOL公司;OpenFOAM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

A至M3

18篇文献引用(2002–2021)
软件作者: 胡安·德·拉腊(Juan de Lara);汉斯·旺格鲁
相关软件: AGG;VIATRA2;进度…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

VCFEM-HOMO公司

32篇文献引用(1996–2022)
软件作者: 索姆纳特·戈什;Lee,Kyunghoon;苏雷什·穆尔西
相关软件: 阿巴夸斯;顶部.m;UMAT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

英国

28篇文献引用(2010–2024)
软件作者: 乔治·马尔萨格里亚;Wai Wan Tsang;王晶波
相关软件: R;安达尔;Kolmogorov-SmirnovDist…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

HOT(热)

26篇文献引用(1995–2022)
软件作者: Michael S.Warren。;约翰·K·萨尔蒙。
相关软件: exafmm;PETSc;树…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);流体力学(76-XX)…

DELSOL公司

26篇文献引用(1992–2022)
软件作者: 大卫·R·威尔。;Christopher T.H.贝克。
相关软件: dde23;Matlab;DKLAG6…
主要字段: 常微分方程(34-XX);积分方程(45-XX);算子理论(47-XX)…

手指

26篇文献引用(1986–2021)
软件作者: Wang,Paul S。
相关软件: Mathematica;减少;马西玛…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

自由流动

23篇文献引用(1995–2017)
软件作者: A.卡斯特罗;F.M.F.Tomé;C.N.L.César;S.麦基;J.A.库米纳托
相关软件: GENSMAC;流量-3D;GENSMAC3D…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

拓扑_多重

23篇文献引用(2014–2022)
软件作者: 鲁霍拉·塔瓦科利
相关软件: 顶部.m;Matlab;前88.m…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

查斯基

22篇文献引用(2014–2023)
软件作者: 穆哈,N。;Mennink,B。;Van Herrewege,A。;渡边捷昭。;Preneel,B。;Verbauwhede,I。;Joux,A。;A.优素福。
相关软件: 斑点;西蒙;Salsa20…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

GENTRAN公司

引用于19份文件(1986年-2000年)
软件作者: GATES,B.L.公司。
相关软件: 减少;手指;马西玛…
主要字段: 一般性和全局性主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

克拉瓦

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

OPTIMAS公司

引用于19份文件(1993–2021)
软件作者: 佩金,S。;爱泼斯坦,B。
相关软件: 基因组学;TensorFlow;Pluribus…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)…

无级变速器

18篇文献引用(1998–2021)
软件作者: 普努利,A。;Shtrickman,O。;西格尔,M。
相关软件: TVOC;CVC;系统C…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);计算机科学(68-XX)…

Z4数据库

18篇文献引用(2009–2023)
软件作者: 努赫·艾丁;茨维坦·阿萨莫夫
相关软件: 岩浆;代码表
主要字段: 组合数学(05-XX);数论(11-XX);场论与多项式(12-XX)…

PDETWO公司

17篇文献引用(1981–2007)
软件作者: 库珀曼,S。;D.佐勒。
相关软件: PVM;PDECOL;两步…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

VLUGR2型

在16份文件中引用(1996年至2016年)
软件作者: 布洛姆,J.G。;R.A.特朗佩特。;J.G.韦尔。
相关软件: DASSL;CWRESX公司;CWRESU…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

OpenSBLI公司

15篇文献引用(2018年至2024年)
软件作者: C.T.Jacobs,S.P.Jammy,N.D.Sandham;戴维·卢瑟(David J.Lusher)。
相关软件: HTR求解器;CUDA;PyFR…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

克兰克

12份文件引用(1990–2019)
软件作者: Sascha Husa、Ian Hinder、Christiane Lechner
相关软件: 爱因斯坦工具包;仙人掌;地毯…
主要字段: 数值分析(65-XX);流体力学(76-XX);相对论与引力理论(83-XX)…

柱塞

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

CosmoNest公司

12份文件引用(2011–2023)
软件作者: D.Parkinson、P.Mukherjee、A.Liddle
相关软件: MultiNest;UltraNest;CosmoMC…
主要字段: 统计学(62-XX);数值分析(65-XX);相对论与引力理论(83-XX)…

matlab_fem_lastplasticity

13份文件引用(2019–2023)
软件作者: 乔马克,M。;Sysala,S。;J.瓦尔德曼。
相关软件: Matlab;HYPLAS;NGSolve…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

码分多址/正交频分复用

8份文件引用(2004年至2012年)
软件作者: 李向阳;万鹏俊
相关软件: ——
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

CTADEL公司

12份文件引用(1998–2020)
软件作者: 范恩格伦,罗伯特·亚历山大
相关软件: Mathematica;手指;SciNapse…
主要字段: 一般性和全局性主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…

铅笔代码

9份文件引用(2019–2023)
软件作者: 阿克塞尔·勃兰登堡;等。
相关软件: 穆拉姆;塔朗;闪电战++…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);流体力学(76-XX)…

狂想曲

12份文件引用(2008–2020)
软件作者: Charpentier,I。;尤特克,J。
相关软件: ADOL-C;舒适的;AD01…
主要字段: 特殊功能(33-XX);数值分析(65-XX);计算机科学(68-XX)…

FEMorph公司

11份文件引用(2018–2022)
软件作者: 斯蒂芬·施密特
相关软件: 道芬;FEniCS;Firedrake…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

SciNapse公司

10篇文献引用(1998–2006)
软件作者: 罗伯特·L·阿克斯。;伊莱恩·康德(Elaine Kant);柯蒂斯·兰德尔(Curtis J.Randall)。;斯坦利·斯坦伯格;罗伯特·L·杨。
相关软件: Mathematica;CTADEL公司;珍珠包…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

安达尔

9份文件引用(2015–2023)
软件作者: 乔治·马尔萨格里亚;约翰·马萨格利亚
相关软件: k.c;R;LBFGS-B…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学编程(90-XX)…

精灵

10篇文献引用(1999–2016)
软件作者: 塞古拉,J。;A.吉尔。
相关软件: 侏儒;RFSFNS;ZEBEC…
主要字段: 特殊功能(33-XX);常微分方程(34-XX);偏微分方程(35-XX)…

FDFD公司

10篇文献引用(2001–2021)
软件作者: 香槟,Nathan J.II;詹姆斯·贝里曼(James G.Berryman)。;H.Michael Buettner先生
相关软件: TensorFlow;FPINN;网格(amp;G)…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

GMac公司

9份文件引用(2014–2022)
软件作者: 艾哈迈德·霍斯尼·阿瓦德·艾德
相关软件: 盖根;加洛普;CLUCalc…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX)…

GNOME公司

10篇文献引用(1999–2016)
软件作者: 塞古拉,J。;A.吉尔。
相关软件: 精灵;RFSFNS;ZEBEC…
主要字段: 特殊功能(33-XX);常微分方程(34-XX);偏微分方程(35-XX)…

利达凯姆

10篇文献引用(2018–2023)
软件作者: 马尔科·巴尔迪;亚历山德罗·巴伦吉;弗朗哥·恰拉卢斯;杰拉尔多·佩洛西;保罗·桑蒂尼
相关软件: 麦克利埃塞;自行车;岩浆…
主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);量子理论(81-XX)…

sl2泡沫

10篇文献引用(2018–2023)
软件作者: 多纳,彼得罗;乔治·萨诺
相关软件: github;CUDAnative.jl;CUDA.jl…
主要字段: 拓扑群,李群(22-XX);微分几何(53-XX);统计学(62-XX)…

ICF3D

9份文件引用(2000–2020)
软件作者: 谢斯塔科夫,A.I。;Prasad,M.K。;Milovich,J.L。;Gentile,N.A。;画家J.F。;家具,G。
相关软件: TRHD;芝麻;心情…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

QPALM公司

8份文件引用(2020–2023)
软件作者: Ben Hermans、Andreas Themelis、Panagiotis Patrinos
相关软件: OSQP;qpOASES;OOQP…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

北极的

7份文件引用(1996–2023)
软件作者: 迈克尔·莫斯特罗姆(Michael A.Mostrom)。;杜山米特罗维奇;Dale R.韦尔奇。
相关软件: ELBA;Vador;FreeFem++…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

FLASH代码

8份文件引用(2005–2010)
软件作者: 计算科学Flash中心
相关软件: 葡萄;帕拉梅什
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

GYGLES公司

7份文件引用(1998–2020)
软件作者: 菲瓦兹,M。;Brunner,S。;de Ridder,G。;O.绍特。;Tran,T.M.公司。;瓦茨拉维克,J。;维拉德,L。;阿佩特,K。
相关软件: gs2;GYSELA公司;基因…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

阿尔巴

7份文件引用(1991–2020)
软件作者: Grant O.jun.库克。;Jeffrey F.画家。
相关软件: GENTRAN公司;PDEQSOL;CTADEL…
主要字段: 一般性和全局性主题;藏品(00-XX);积分方程(45-XX);数值分析(65-XX)…

飞行

7份文件引用(2001–2009)
软件作者: V.Antonuccio Delogu、U.Becciani、D.Ferro
相关软件: 飞溅;HE-E1GODF;GADGET…
主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX);相对论与引力理论(83-XX)…

GR1D级

7份文件引用(2010–2021)
软件作者: 奥特,C.D。;E·奥康纳。
相关软件: 威士忌MHD;爱因斯坦工具包;AstroPhi…
主要字段: 数值分析(65-XX);流体力学(76-XX);相对论与引力理论(83-XX)…

HOL90型

7份文件引用(1995–2017)
软件作者: 理论博物馆
相关软件: Coq;NQTHM;数字(amp;N)…
主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

塔朗

6篇文献引用(2018年至2024年)
软件作者: Teimurazov,A.S。;Stepanov,R.A。;Verma,M.K。;巴曼,S。;库马尔,A。;萨杜汗,S。
相关软件: 铅笔代码;闪电战++;Gerris…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

EPCBC公司

6篇文献引用(2011–2017)
软件作者: Yap、Huihui;Khoo、Khongming;阿克塞尔·波希曼;马特·亨里克森
相关软件: SageMath;SPECK;西蒙…
主要字段: 运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

FGH公司

6篇文献引用(2002–2011)
软件作者: M.J.西顿。
相关软件: 数字;COULFG公司;HContinuumGautchi…
主要字段: 特殊功能(33-XX);常微分方程(34-XX);近似和展开(41-XX)…

LASY公司

6篇文献引用(1997–2021)
软件作者: 塔斯,加博
相关软件: VAC;冥王星;HLLE…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

纽约

2份文件引用(2015–2016)
软件作者: Ann S.Almgren、John B.Bell、Mike J.Lijewski、Zarija Lukić、Ethan Van Andel
相关软件: 闪光;RAMSES公司;ENZO…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

帕迪科特姆

4份文件引用(2002–2010)
软件作者: 丹尼斯,A,佩雷斯,C,普里奥尔,T
相关软件: Ninf-G/MPI;贪婪;TreePM…
主要字段: 计算机科学(68-XX)

先知

4份文件引用(2017–2023)
软件作者: 长,扇形;马丁·里纳德
相关软件: SemFix;安吉利克斯;缺陷4J…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

西蒙

6篇文献引用(2015–2023)
软件作者: Isakov,S.V.公司。;Zintchenko,I.N。;R(右){o} nnow(诺夫),财政部。;特洛伊尔,M。
相关软件: github;古罗比;QuTiP公司
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

5桶

5份文件引用(2013–2020)
软件作者: 乔治·马尔萨格里亚;Wai Wan Tsang;王晶波
相关软件: R;Apache Spark;MKL…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

亚卡斯

3份文件引用(2002年-2023年)
软件作者: 阿亚尔·平库斯(Ayal Z.Pinkus)。;谢尔盖·威尼茨基
相关软件: Ryacas;R;SymPy…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

BookIndRandSamplingMethods(BookInd随机采样方法)

5份文件引用(2018–2023)
软件作者: 卢卡·马蒂诺;David Luengo;约阿奎因·米格斯
相关软件: 贝叶斯DA;PyMC;斯坦…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

代码2seq

1份文件引用(2023)
软件作者: 乌里·阿龙(Uri Alon)、莎克·布罗迪(Shaked Brody)、奥马尔·利维(Omer Levy)、埃兰·雅哈(Eran Yahav)
相关软件: BERT;RoBERTa公司;Python…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

覆盖(covr)

1份文件引用(2019)
软件作者: 吉姆·海斯特
相关软件: R;测试;循环压缩机…
主要字段: 统计学(62-XX)

GANDALF公司

4份文件引用(2021–2024)
软件作者: David A.Hubber、Giovanni P.Rosotti、Richard A.Booth
相关软件: GADGET公司;幻影;NDSPMHD…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

讨价还价

5份文件引用(2010年至2015年)
软件作者: T·赖特。
相关软件: 形式;戈勒姆95;剪切工具…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)

INSANE公司

5份文件引用(2013-2021)
软件作者: Anacleto,F.E.S。;T.S.A.里贝罗。;G.O.里贝罗。;皮坦盖拉,R.L.S。;宾夕法尼亚州立大学。
相关软件: BEMECH公司;BDEM;XFEM公司
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

NUMATH公司

5份文件引用(1983–1999)
软件作者: 乔治·赫伯梅尔
相关软件: ——
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);近似和展开(41-XX);统计学(62-XX)…

PROC矩阵

4份文件引用(1986–2004)
软件作者: J.O.拉姆齐。
相关软件: SAS;SAS/IML;S-PLUS…
主要字段: 统计学(62-XX);数值分析(65-XX)

反弹

2份文件引用(2020–2021)
软件作者: Hanno Rein,刘尚菲
相关软件: 重新绑定x;蟒蛇;WHFast…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);粒子力学与系统(70-XX)…

澄清器

5份文件引用(1995–2005)
软件作者: 肯尼·亨特(Kenny Hunt);詹姆斯·克里默
相关软件: 分子;鹦鹉螺;ACSL…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);计算机科学(68-XX)…

RLT-位置

5份文件引用(2016–2023)
软件作者: 埃夫里姆·达尔基兰;哈尼夫·谢拉利。
相关软件: RAPOSa;古罗比;库恩…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

温度

4份文件引用(2016–2022)
软件作者: 迈克·佩特菲尔德
相关软件: github;NeuralPDE.jl;微分方程.jl…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

TCB公司

5份文件引用(2003–2021)
软件作者: Andrew W.Appel。;Michael,新植物;阿伦·斯塔姆(Aaron Stump);罗伯托·维尔加
相关软件: Coq;MetaCoq;ELPI…
主要字段: 计算机科学(68-XX)

三联的

5份文件引用(1990–1995)
软件作者: 松本正美;川田茂
相关软件: 销售-3D
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

AMDS公司

4份文件引用(2008–2017)
软件作者: 奥尔德森,T.L。;A.A.布鲁恩。
相关软件: SageMath公司
主要字段: 组合数学(05-XX);数论(11-XX);几何(51-XX)…

APTS公司

4份文件引用(2003–2016)
软件作者: 伊丽莎白·伦纳德一世。;康斯坦斯·海特迈尔。
相关软件: PVS;NAT2测试;PAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

蛋糕

4份文件引用(2017–2022)
软件作者: Paulo S.L.M.巴雷托。;格雷,谢伊;蒂姆·Güneysu;拉斐尔·米索茨基;埃多瓦多·佩西切蒂;尼古拉斯·森德里尔(Nicolas Sendrier);Jean-Pierre Tillich
相关软件: 麦克利埃塞;McBits;自行车…
主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…

CompCertS公司

4份文件引用(2017–2019)
软件作者: 弗雷德里克·贝松;Blazy,Sandrine;皮埃尔·威尔克
相关软件: Coq;CompCert;CompCertTSO…
主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX)

IDon方形网格R2

4份文件引用(2013-2019)
软件作者: 维尔·朱尼拉
相关软件: 数学软件
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

JikesRVM系列

2份文件引用(2008–2019)
软件作者: 拉斐尔·基塔达莫;贾科莫·卡布里;莱蒂齐亚·莱昂纳迪
相关软件: SPECjvm2008;神谕;DaCapo…
主要字段: 计算机科学(68-XX)

libCEED(libCEED)

2份文件引用(2021–2023)
软件作者: 瓦莱丽亚·巴拉;杰德·布朗;杰里米·汤普森;约汉·杜杜伊特
相关软件: PETSc;OCCA;LIBXSMM…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

oFEM公司

4份文件引用(2018–2023)
软件作者: 迈克尔·杜金斯基(Michael Dudzinski);马尔科·罗兹吉奇;马库斯·施蒂默
相关软件: FEniCS;Matlab;交易.ii…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

PSEC公司

4份文件引用(1985–2016)
软件作者: 凌,K.M。;南卡罗来纳州贾丁。
相关软件: XTOR;奶酪;NIMROD…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)

软PAParticle代码

4份文件引用(2013–2018)
软件作者: 巴巴拉·施奈德·蒙图;陈建勋;S.M.Iman,Bathaeian
相关软件: MESHFREE公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

切线

1份文件引用(2018)
软件作者: 巴特·范梅里恩博尔、亚历山大·威尔茨科、丹·摩尔多瓦
相关软件: TensorFlow;西亚诺;Python…
主要字段: 数值分析(65-XX)

适应

2份文件引用(2003–2010)
软件作者: 阿恩·洛克坦根;罗兰·奥尔森
相关软件: 步行卫星;禁忌搜索;ML…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

算法734

2份文件引用(1994–1998)
软件作者: 巴克利,A.G。
相关软件: BBVSCG公司
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

CC4J公司

2份文件引用(2002–2009)
软件作者: 克尼塞尔,Guenter;迈克尔·奥斯特曼
相关软件: TXL;Stratego;方面J…
主要字段: 计算机科学(68-XX)

数字SL

3份文件引用(2004–2007)
软件作者: Macq Electronique公司
相关软件: NuSMV;自旋蛋白
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

H-VLPL公司

3份文件引用(2014–2018)
软件作者: 蒂克曼特尔,T。;A.普霍夫。
相关软件: VORPAL公司;2D2V;飞马座…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

包含

3份文件引用(1996–2014)
软件作者: Ngo,Dat;戈登·维丁;彼得·切勒克
相关软件: ADDA;NFM-DS;阿巴夸斯
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

金贾2

1份文件引用(2018)
软件作者: 托盘
相关软件: 蟒蛇;数字Py;JavaScript…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX)

电梯

3份文件引用(1981–1987)
软件作者: 阿蒙特·D。;Ho,J。;路易,E。;雷梅尔斯瓦尔,M。
相关软件: MINOS公司
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

美格

3份文件引用(1997–2020)
软件作者: 奥列格五世(Oleg V.Diyankov)。;Glazyrin,Igor V。;谢尔盖·柯舍列夫。
相关软件: Spalart-Allmaras;HE-E1GODF;SAR…
主要字段: 计算机科学(68-XX);流体力学(76-XX);信息与通信理论,电路(94-XX)

NC-Maude公司

2份文件引用(2014–2023)
软件作者: 马克·博伊尔
相关软件: COINC公司;RTC工具箱;科雷利…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

筛选结果依据…

全部的 前5名

相关软件