×

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

Python语言

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

PETSc公司

1775年文献引用(1996年至2024年)
软件作者: S.Balay、W.D.Gropp、L.C.McInnes、B.F.Smith
相关软件: FEniCS;流行性腮腺炎;炒作…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

切布冯

519份文件引用(2004–2024)
软件作者: Chebfun团队;A Driscoll,N.Hale,L.N.Trefethen
相关软件: Matlab;DLMF;Chebfun2…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);偏微分方程(35-XX)…

公牛

引用于513份文件(1997–2023)
软件作者: 门尼克;乌姆斯;Timberlake公司
相关软件: R;SsfPack;引导…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

XFEM公司

407篇文献引用(2002–2024)
软件作者: 博尔达斯,《Stéphane作者简介》;阮富荣;西里尔州杜南;阿莫尔·吉杜姆;洪阮当
相关软件: Matlab;Gmsh;ABAQUS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

艾菲尔

234篇文献引用(1989–2023)
软件作者: 贝特朗·梅耶
相关软件: JML;Smalltalk;规范#…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

阿达95

277份文件引用(1979–2023)
软件作者: 让·伊克比亚
相关软件: 调制;埃菲尔;Smalltalk…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

OCaml公司

274份文件引用(1998–2023)
软件作者: INRIA公司;X.Leroy、D.Rémy、J.Vouillon、D.Doligez
相关软件: Coq;哈斯克尔;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

COBOL公司

170篇文献引用(1960年至2020年)
软件作者: 格蕾斯·哈珀
相关软件: 损益表;ALGOL 60;Ada95…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数值分析(65-XX)…

SC工具箱

234篇文献引用(1996年至2024年)
软件作者: 托宾·A·德里斯科尔。
相关软件: 施瓦兹-克里斯托菲尔;Matlab;SCPACK…
主要字段: (30C30-XX);(65E05-XX);(68N19-XX)…

路径解算器

196篇文献引用(1995–2023)
软件作者: Michael C.Ferris。;托德·蒙森(Todd S.Munson)。
相关软件: GAMS;MCPLIB;MINOS…
主要字段:

Smalltalk公司

169篇文献引用(1983–2023)
软件作者: Alan Kay、Dan Ingalls、Adele Goldberg、Ted Kaehler、Scott Wallace
相关软件: 埃菲尔;Simula 67;Ada95…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

电弧_磁场

169篇文献引用(2007–2023)
软件作者: 刘行健;詹姆斯·P·勒萨奇
相关软件: 空间面板;R;spBayes…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

瓦多

155份文件引用(2002–2024)
软件作者: 弗朗西斯·菲尔贝;E.Sonnendrücker
相关软件: GYSELA公司;sldg;沙斯塔…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

模拟67

131篇文献引用(1963–2021)
软件作者: O.J.达尔。;Nygaard,K。
相关软件: 埃菲尔;ALGOL 68;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);数值分析(65-XX)…

Modelica公司

119篇文献引用(2000–2023)
软件作者: 耶布拉,L.J。;贝伦格尔,M。;多尔米多,S。;E.扎扎。
相关软件: Dymola;OpenModelica公司;Matlab…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

规格#

111篇文献引用(2005–2023)
软件作者: 迈克·巴奈特(Mike Barnett);K.Rustan M.Leino;沃尔夫拉姆·舒尔特
相关软件: JML;电子稳定控制系统/Java;布吉…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

CVXPY公司

115篇文献引用(2016–2024)
软件作者: 史蒂文·戴蒙德;斯蒂芬·博伊德
相关软件: ECOS;CVX;Mosek…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

列表-统计

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

阿巴克斯

117篇文献引用(1996–2022)
软件作者: 精灵,马提亚斯;卡斯滕·古特温格;迈克尔·Jünger;乔瓦尼·里纳尔迪
相关软件: CPLEX;MINTO公司;SYMPHONY…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

差速器组件

113篇文献引用(1996年-2023年)
软件作者: 布鲁塞特,是马格纳斯;汉斯·彼得·兰坦根
相关软件: PETSc;LAPACK;UG…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

斯卡拉

88篇文献引用(2005–2023)
软件作者: Christos K.K.Loverdos。;阿波斯托洛斯·西罗普洛斯
相关软件: Coq;z3;轻量级Java…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

达科塔

81份文件引用(2002–2023)
软件作者: 桑迪亚
相关软件: 蟒蛇;UQLab;QUESO…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-XX)…

ILOG时间表

87份文件引用(1996年-2023年)
软件作者: C·勒帕佩
相关软件: CPLEX;炸薯条;JOBSHOP…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SoPlex公司

87份文件引用(1996–2022)
软件作者: 罗兰·旺德林
相关软件: SCIP;CPLEX;MIPLIB…
主要字段: (65K05-XX);(90C05-XX);(65Y05-XX)…

ACADO公司

76篇文献引用(2010–2024)
软件作者: Boris Houska;汉斯·约阿希姆·费罗;莫里茨·迪尔
相关软件: Ipopt;qpOASES;CasADi…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

坎特拉

69篇文献引用(2009–2023)
软件作者: D.Goodwin、N.Malaya、H.Moffat、R.Speth
相关软件: GRI-科技3.0;CHEMKIN公司;OpenFOAM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

阿兹特科

80篇文献引用(1997–2023)
软件作者: 约翰·沙迪德(John N.Shadid);斯科特·哈钦森;雷·图米纳罗(Ray Tuminaro);Lydie Prevost;Charles Tong;迈克·希罗
相关软件: 阿兹特克;PETSc;特里利诺斯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

皮克特

74份文件引用(1996–2022)
软件作者: 本杰明·皮尔斯(Benjamin C.Pierce)。;大卫·N·特纳
相关软件: 乔卡姆;莫德;Oz…
主要字段:

恢复工具

70篇文献引用(2003年至2021年)
软件作者: 詹姆斯·纳吉(James G.Nagy)。;卡特里娜州帕尔默;丽莎·佩罗内
相关软件: 正规化工具;IR工具;UTV…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

凯伊

55份文件引用(2000–2023)
软件作者: http://www.key-project.org/people.html
相关软件: JML;电子稳定控制系统/Java;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

34份文件引用(2001–2023)
软件作者: 勒内·布伦;天线制造商
相关软件: PYTHIA8;GEANT4;Python…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

访问

35篇文献引用(1994–2015)
软件作者: 微软
相关软件: Visual Basic;MS SQL Server;Oracle…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

驼鹿

57篇文献引用(2013–2024)
软件作者: Permann,C.J。;D.R.加斯顿。;安德烈什,D。;卡尔森,R.W。;孔,F。;Lindsay,A.D。;米勒,J.M。;Peterson,J.W。;屠宰,A.E。;Stogner,R.H。;马丁诺,R.C。
相关软件: FEniCS;PETSc;交易.ii…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

Ciao公司

56篇文献引用(1999–2022)
软件作者: Bueno,F.,Cabeza,D.,Carro,M.,Hermenegildo,M.、López-García,P.、Puebla,G。
相关软件: CiaoPP;SICStus公司;水星…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

沟槽

48篇文献引用(2004–2023)
软件作者: Kastenberg,H.,Rensink,A。
相关软件: AGG;自旋蛋白;GrGen…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

SAMRAI公司

51篇文献引用(2002–2023)
软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·R·科恩。
相关软件: PETSc;炒作;帕拉梅什…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

G+平滑

55份文件引用(2014–2023)
软件作者: Angelos Mantzaflaris,Bert Jüttler
相关软件: ISOGAT;IETI;GitHub…
主要字段: 势能理论(31-XX);偏微分方程(35-XX);近似和展开(41-XX)…

CLOS公司

51篇文献引用(1989年至2022年)
软件作者: Praehofer,H。;奥尔尼,F。;G.赖辛格。
相关软件: 埃菲尔;Smalltalk;轻量级Java…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);变形固体力学(74-XX)…

区域设置

53篇文献引用(1999–2024)
软件作者: 克莱门斯·巴拉林
相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);代数几何(14-XX)…

法定货币

48篇文献引用(1994–2023)
软件作者: 罗伯特·C·柯比。
相关软件: FEniCS;PETSc;道芬…
主要字段: (65N30-XX);(35-04-XX);(65Y15-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ParaDisEO公司

34份文件引用(2004–2022)
软件作者: Cahon,S。;梅勒布,N。;塔尔比,E.-G。;斯科努尔,M。
相关软件: 禁忌搜索;EOlib;欧洲法院…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

Chebfun2号机组

45篇文献引用(2013年-2023年)
软件作者: 汤森,亚历克斯;劳埃德·N·特里费琴。
相关软件: 切布冯;Matlab;DLMF…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);近似和展开(41-XX)…

AMROC公司

41篇文献引用(2005–2023)
软件作者: 拉尔夫·迪特丁
相关软件: 帕拉梅什;Chombo;AMRCLAW…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

OOQP程序

42篇文献引用(2003–2023)
软件作者: 迈克·格茨(Mike Gertz);赖特
相关软件: qpOASES;Ipopt;LOQO…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

序曲

39篇文献引用(2000–2022)
软件作者: L.Brown、William D.Henshaw、Daniel J.Quinlan。
相关软件: PETSc;CMPGRD;帕拉梅什…
主要字段:

法国DUNE-FEM

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

MINUIT公司

40篇文献引用(1978–2023)
软件作者: F.James和M.Winkler
相关软件: 根;ISAJet;PAW…
主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)…

卵磷脂

39篇文献引用(2006–2023)
软件作者: 马提亚斯·海尔(Matthias Heil),安德鲁·哈泽尔(Andrew L.Hazel)
相关软件: 特里利诺斯;超级LU;自动…
主要字段:

KSSOLV公司

40篇文献引用(2009–2023)
软件作者: 朝阳;胡安·梅扎(Juan C.Meza);Byounghak Lee;林旺旺
相关软件: lobpcg.m;马诺普特;BLOPEX…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…

EasyLocal公司++

32篇文献引用(2001–2022)
软件作者: Di Gaspero,L.,Schaerf,A
相关软件: 彗星;本地化人员;禁忌搜索…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

S+小波

引用于37份文件(1997–2022)
软件作者: 安德鲁·布鲁斯(Andrew G.Bruce);红叶高
相关软件: glmnet;PDCO;稀疏…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…

新加坡

38篇文献引用(2001–2022)
软件作者: M.J.霍尔斯特。
相关软件: APBS;FreeFem++;CHARMM…
主要字段:

线轴

38篇文献引用(2000–2017)
软件作者: Ashcraft,C.、Pierce,D.、Wah,D.K.、Wu,J。
相关软件: METIS公司;流行性腮腺炎;ScaLAPACK…
主要字段:

合金

29篇文献引用(2001–2023)
软件作者: 丹尼尔·杰克逊
相关软件: 美国铝业;自旋蛋白;Z、 …
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ColPack系列

36篇文献引用(2008–2024)
软件作者: 阿塞福·赫布雷梅丁、阿里吉特·塔拉夫达尔、杜克·阮、亚历克斯·波顿
相关软件: ADOL-C;AMPL;hess_pat…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

dsmc泡沫

引用于37份文件(2010–2023)
软件作者: T.J.Scanlon。;鲁希,E。;白色,C。;Darbandi,M。;J.M.里斯。
相关软件: OpenFOAM;微笑;莫纳科…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

PFLOTRAN公司

引用于37份文件(2014–2023)
软件作者: 利希特纳,P.C.,哈蒙德,G.E.,卢,C.,卡拉,S.,比什特,G.,安德烈,B.,米尔斯,R.T.,库马尔,J。
相关软件: dfn工程;PETSc;TOUGHREACT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

茂物

27篇文献引用(2003–2014)
软件作者: 马修·B·德怀尔。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比
相关软件: 自旋蛋白;班德拉;veriSoft…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

切波普

36篇文献引用(2008–2023)
软件作者: 托宾·A·德里斯科尔。;博内曼,福克马;劳埃德·N·特里费琴。
相关软件: 切布冯;Matlab;差异矩阵套件…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);积分方程(45-XX)…

CORA公司

35篇文献引用(2016–2023)
软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper)
相关软件: 流量*;SpaceEx;C2e2…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

MPM3D(MPM3D)

36篇文献引用(2011–2023)
软件作者: 清华大学
相关软件: MPM3DMP;卡拉梅洛;LS-DYNA…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

防抱死制动系统

32篇文献引用(2012–2022)
软件作者: Johnsen,E.B.、Hähnle,R.、Schäfer,J.、Schlatte,R.和Steffen,M。
相关软件: JCobox;中美合作所;Erlang…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

克莱尔

32篇文献引用(1998年至2019年)
软件作者: 伊夫·卡索;弗朗索瓦·沙维尔(François-Xavier),约塞特(Josset);弗朗索瓦·拉伯特
相关软件: 奥兹;乔科;SALSA…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

jStar公司

32篇文献引用(2008–2022)
软件作者: DiStefano,D.,Parkinson,M。
相关软件: 小脚;VeriFast;Why3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

OSIRIS公司

34份文件引用(2002–2022)
软件作者: 丰塞卡共和国。;路易斯安那州席尔瓦。;Tsung,F.S。;Decyk,V.K。;卢·W。;Ren,C。;莫里,W.B。;邓,S。;Lee,S。;卡特苏利亚斯,T。;J.C.亚当。
相关软件: 快速采集;VORPAL公司;PSC…
主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…

红宝石

22篇文献引用(2002–2017)
软件作者: 弗拉纳根,D。;松本,Y。
相关软件: 蟒蛇;JavaScript;PERL…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

哎呀

33篇文献引用(2002–2022)
软件作者: 雅塞克·冈齐奥(Jacek Gondzio);罗伯特·萨基辛
相关软件: IPM;AMPL;利普索…
主要字段: 历史与传记(01-XX);数值分析(65-XX);计算机科学(68-XX)…

OpenLB(打开LB)

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

CVXR公司

27篇文献引用(2019–2023)
软件作者: 傅安琪(Anqi Fu)、巴拉苏布拉曼尼亚人(Balasubramanian Narasimhan)、斯蒂芬·博伊德(Stephen Boyd)
相关软件: CVX;CVXPY;R、 …
主要字段:

符号C++

31份文件引用(1998–2018)
软件作者: Shi,Tan Kiat;威利·汉斯,斯蒂布;哈迪,尤里克
相关软件: 马克西玛;枫树;数学…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);动力系统和遍历理论(37-XX)…

QOCA公司

27篇文献引用(1970–2018)
软件作者: Kim万豪酒店;Chok,Sitt Sen先生
相关软件: 天蓝色;食火鸡;HiRise…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

奎索

24篇文献引用(2011–2023)
软件作者: 埃内斯托·普鲁登西奥(Ernesto Prudencio);卡尔·W·舒尔茨
相关软件: 达科塔;libMesh;交易.ii…
主要字段: 统计学(62-XX);数值分析(65-XX);变形固体力学(74-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)…

甲酚

25篇文献引用(2006–2022)
软件作者: 约翰森,艾纳·布罗克;Owe、Olaf;Yu,Ingrid Chieh女士
相关软件: 羽量级Java;ABCL;莫德…
主要字段: 计算机科学(68-XX)

MRST-AD公司

26篇文献引用(2016–2023)
软件作者: Krogstad,S.、Lie,K.-A.、Möyner,O.、Nilsen,H.M.、Raynaud,X.、Skaflestad,B
相关软件: MRST;Matlab;MRST-co2lab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

开放地理系统

22篇文献引用(2012–2023)
软件作者: O.科尔迪茨
相关软件: PFLOTRAN;DuMuX;PHREEQC…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

PICO公司

25篇文献引用(2001–2019)
软件作者: 乔纳森·埃克斯坦(Jonathan Eckstein);辛西娅·菲利普斯。;威廉·E·哈特。
相关软件: 交响曲;碱性磷酸酶;MIPLIB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SYMMETRICA公司

26篇文献引用(1992–2017)
软件作者: Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队
相关软件: 枫树;许可证;利玛窦…
主要字段: 组合数学(05-XX);代数几何(14-XX);群论与推广(20-XX)…

FEMPAR公司

21篇文献引用(2016–2023)
软件作者: 圣地亚哥·巴迪亚、阿尔贝托·马汀、哈维尔·普林西比
相关软件: PETSc;剪切有限元法;测试…
主要字段:

ParMooN公司

23篇文献引用(2017–2024)
软件作者: Sashikumaar Ganesan、Volker John、Gunar Matthies
相关软件: UMFPACK;Gmsh;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

允许

25篇文献引用(2014–2023)
软件作者: 侯赛因·塔勒比;穆罕默德·西拉尼;圣菲省博尔达斯。;皮埃尔·科弗里登(Pierre Kerfriden);蒂蒙·拉布祖克
相关软件: XFEM;剪切有限元法;FEniCS…
主要字段: 可变形固体力学(74-XX)

泽农

21篇文献引用(2007–2022)
软件作者: 理查德·博尼肯(Richard Bonichon);戴维·德拉哈耶(David Delahaye);Damien Doligez
相关软件: Coq;TPTP;dedukti…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

菲比

22篇文献引用(2012–2022)
软件作者: J.E.Guyer;D.惠勒;J.A.沃伦
相关软件: 蟒蛇;FEniCS;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

生物钟

10篇文献引用(2006–2021)
软件作者: Stajich,J.E.等人。
相关软件: PERL;生物蟒蛇;ClustalW…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…

概念

23篇文献引用(2002–2022)
软件作者: 菲利普·弗劳恩费尔德;克里斯蒂安·拉格
相关软件: Gmsh;交易.ii;HP90…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

JastAdd公司

17篇文献引用(2003–2022)
软件作者: 赫丁,哥雷尔;伊娃·马格努森
相关软件: Stratego;ANTLR;ASF+SDF…
主要字段: 计算机科学(68-XX)

PolyTOIL公司

19份文件引用(1997–2014)
软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。
相关软件: 羽量级Java;埃菲尔;Smalltalk…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BacSim公司

21篇文献引用(2000–2021)
软件作者: J.Kreft、G.Booth、J.W.T.Wimpenny
相关软件: AgentCell;iDynoR;STOCHSIM…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

塞西尔

17篇文献引用(1996–2021)
软件作者: 克雷格·钱伯斯
相关软件: CLOS;哈斯克尔;口齿不清…
主要字段: 统计学(62-XX);计算机科学(68-XX)

ROPTLIB公司

18篇文献引用(2017年-2023年)
软件作者: 黄文;Absil,P.-A.公司。;凯尔·A·加里凡。;保罗·汉德
相关软件: 马诺普特;皮曼诺普;歧管Optim…
主要字段: 变分法与最优控制;优化(49-XX);微分几何(53-XX);统计学(62-XX)…

免疫球蛋白

21篇文献引用(2015–2022)
软件作者: Pauletti,M.Sebastian;马西米利亚诺·马蒂内利;尼古拉·卡瓦里尼;巴勃罗·安托林
相关软件: 佩蒂加;GeoPDE;ISOGAT…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

绿洲

21篇文献引用(1990–2009)
软件作者: 阿列克谢·库丘莫夫;谢尔盖·赖宾(Sergey Rybin);阿尔弗雷德·斯特罗梅尔
相关软件: ADML;C4.5;Oracle…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

三倍的

16篇文献引用(2002–2015)
软件作者: Michael Sintek;斯特凡·戴克
相关软件: SPARQL;平滑;XSB…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);天文学和天体物理学(85-XX)…

IFPACK公司

20篇文献引用(2008年至2021年)
软件作者: M.Sala;M.希罗
相关软件: 特里利诺斯;毫升;帕梅蒂斯…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

最深处

19份文件引用(2015年-2023年)
软件作者: 基里尔·特雷霍夫;等。
相关软件: GeRa;动画3D;BiCGstab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

莫扎特

15篇文献引用(1999年至2018年)
软件作者: 彼得·范罗伊;塞夫·哈里迪
相关软件: 奥兹;CPLEX;芯片…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

OOPIC公司

20篇文献引用(1997–2014)
软件作者: 语言专家,J.P。;兰登,A.B。;新墨西哥州格拉德。
相关软件: VORPAL公司;OSIRIS;PIC-MCC…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

筛选结果依据…

全部的 前5名

相关软件