×

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

Gms小时

968份文件中引用(2003–2024)
软件作者: Christophe Geuzaine,Jean-François Remacle
相关软件: FEniCS;PETSc;ParaView…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

JML公司

161份文件引用(2000–2023)
软件作者: 加里·利文斯(Gary T.Leavens);Yoonsik Cheon公司
相关软件: 规范#;艾菲尔铁塔;卡拉卡拉…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…

路径解算器

196篇文献引用(1995–2023)
软件作者: Michael C.Ferris。;托德·蒙森(Todd S.Munson)。
相关软件: GAMS;MCPLIB;MINOS…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…

酯类

137篇文献引用(1985–2023)
软件作者: 杰拉德·贝瑞
相关软件: 卢斯特;信号;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

CUTEst公司

156篇文献引用(2014–2024)
软件作者: Gould,N.、Orban,D.、Toint,P.L。
相关软件: L-BFGS;Ipopt;兰斯洛…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

OBJ3型

140篇文献引用(1989–2023)
软件作者: J.Goguen、T.Winkler、J.Meseguer、K.Futatsigi和J.Jouannaud;(比基尼)
相关软件: 莫德;咖啡馆;CASL…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

Risa/Asir公司

122篇文献引用(1992–2024)
软件作者: 北野正彦、横山和弘、竹岛高、下山竹石、安井广志、,Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama(致力于基础设计、内核源代码和核心库)。关于库的提交者和最近的贡献者,请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。
相关软件: 单一;麦考利2号;Kan…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-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)…

OpenAI健身房

69篇文献引用(2018–2023)
软件作者: Greg Brockman、Vicki Cheung、Ludwig Pettersson、Jonas Schneider、John Schulman、Jie Tang、Wojciech Zaremba
相关软件: PyTorch;MuJoCo;GitHub…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

山茶花

97篇文献引用(2001–2023)
软件作者: 青木,Kazumaro;铁杉一川;神田、Masayuki;松井、三井;森井、希荷;中岛俊子;Tokita、Toshio
相关软件: 克利夫亚;出席;方形…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

达科塔

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

ACADO公司

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

IETI公司

70篇文献引用(2012–2023)
软件作者: S.K.Kleiss、C.Pechstein、B.Ju­ttler、S.Tomar
相关软件: GeoPDE;G+Smo;ISOGAT…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

KeY公司

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

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

叫做古迪辛

56篇文献引用(2014–2024)
软件作者: INRIA公司;克莱门特·玛丽亚;Jean-Daniel Boissonnat;马克·格利塞(Marc Glisse);玛丽埃特·伊维内克
相关软件: 裂土器;PHAT;酒神…
主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…

信号

51篇文献引用(1987–2020)
软件作者: 诺瓦克,大卫;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克
相关软件: 卢斯特;酯类;托勒密…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

AMReX公司

34份文件引用(2019–2024)
软件作者: 安·阿尔姆格伦
相关软件: p4测试;格里斯;乔博…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

摩塞尔

37篇文献引用(2003–2021)
软件作者: Fair Isaac公司;Colombani Y.、Heipcke S。
相关软件: 快速表达;AMPL;游戏…
主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…

沃夫兰

35篇文献引用(1999–2022)
软件作者: 埃里克·韦贝克(Eric Verbeek);Wil M.P.范德阿尔斯特。
相关软件: PNML;咩咩叫;WSAT…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

MPICH-G2型

17篇文献引用(2003–2010)
软件作者: 尼古拉斯·T·卡罗尼斯。;布莱恩·托宁(Brian Toonen);伊恩·福斯特
相关软件: Globus工具包;磁粉检测;MPI/MPICH…
主要字段: 计算机科学(68-XX);流体力学(76-XX);量子理论(81-XX)…

迪纳摩

19份文件引用(2011–2023)
软件作者: 迪坎迪亚,G。;哈斯托伦,D。;詹帕尼,M。;Kakulapati,G。;拉克希曼,A。;皮尔钦,A。;Sivasubramanian,S。;Vosshall,P。;沃格尔,W。
相关软件: 卡桑德拉;和弦;Bigtable…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

MIO工作台

30篇文献引用(2010–2023)
软件作者: 塞巴斯蒂安·鲍尔。;菲利普·迈耶(Philip Mayer);Legay、Axel
相关软件: 摩托罗拉;ECDAR;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SAP2000公司

26篇文献引用(2003–2023)
软件作者: 计算机与结构公司。
相关软件: Matlab;OpenSees;Python…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);变形固体力学(74-XX)…

CPN/工具

25篇文献引用(2001–2023)
软件作者: 米歇尔·博杜安·拉丰(Michel Beaudouin-Lafon);温迪·麦凯(Wendy E.Mackay)。;Mads Jensen;安徒生,彼得;保罗·詹切克
相关软件: 设计/CPN;TINA;清爽…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

QOCA公司

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

阿利亚

29篇文献引用(2013–2022)
软件作者: H·欧文。;Houzeaux,G。;Samaniego,C。;莱斯基,A.C。;Vázquez,M。
相关软件: METIS公司;预CICE;测试…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

洛拉

26篇文献引用(2000–2021)
软件作者: 卡斯滕·施密特(Karsten Schmidt);K·沃尔夫。
相关软件: 玛丽亚;Uppaal;BPEL2PN…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

NESTOR公司

引用于27份文件(1985–2017)
软件作者: G.F.库珀。
相关软件: TETRAD公司;几何导师;DENDRAL…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

作记号

24篇文献引用(2002年至2022年)
软件作者: 怀特GC,伯纳姆KP
相关软件: 程序标记;R;R标记…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

URDME公司

25篇文献引用(2009–2023)
软件作者: Drawert,B.,Engblom,S.,Hellander,A。
相关软件: MesoRD;步骤;斯莫尔丁…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

快速采矿机

19份文件引用(2012–2023)
软件作者: RapidMiner公司;Akthar,F.,Hahne,C。
相关软件: R;Auto-WEKA;TPOT…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

OilEd公司

24篇文献引用(2001–2008)
软件作者: 肖恩·贝赫霍夫(Sean Bechhofer);伊恩·霍洛克斯(Ian Horrocks);卡罗尔·高布尔(Carole Goble);罗伯特·史蒂文斯
相关软件: OntoEdit;赛车手;保护…
主要字段: 数学逻辑与基础(03-XX);算子理论(47-XX);统计学(62-XX)…

DEPAC公司

24篇文献引用(1983年-2000年)
软件作者: Shampine,L.F.公司。;瓦茨,H.A。
相关软件: 德维尔克;传真;RKF45…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…

流量-3D

24篇文献引用(1993–2021)
软件作者: Flow Science公司
相关软件: GENSMAC;SOLA-VOF;自由流动…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

ROPTLIB公司

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

ADMIT公司

22篇文献引用(1999–2020)
软件作者: 托马斯·科尔曼。;阿伦·维尔马
相关软件: ADIFR;ADMAT;Matlab…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

CAS/PI公司

21篇文献引用(1992–2018)
软件作者: 诺伯特·卡伊勒
相关软件: Mathematica;枫树;AXIOM…
主要字段: 实函数(26-XX);计算机科学(68-XX)

Pyclaw公司

21篇文献引用(2012–2023)
软件作者: 戴维·凯奇森(David I.Ketcheson)。;Kyle Mandli;阿隆·J·艾哈迈迪。;阿马尔·阿尔甘迪;德卢纳(De Luna)、曼努埃尔·奎扎达(Manuel Quezada);马泰奥·帕萨尼(Matteo Parsani);马修·克内普利(Matthew G.Knepley)。;马修·埃米特
相关软件: PyWENO;拉回;利爪…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

Elastix公司

15篇文献引用(2013–2022)
软件作者: Klein,S.、Staring,M.、Murphy,K.、Viergever,M.A.、Pluim,J.P.等人。
相关软件: 蟒蛇;ITK;FAIR.m…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

FANMOD公司

18篇文献引用(2010–2021)
软件作者: Wernicke,S。;拉什,F。
相关软件: 卡沃什;MAVisto公司;国防部…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

火山

6篇文献引用(2000–2018)
软件作者: 格雷夫(G.Graefe)。
相关软件: DB2;潜力;LUBM…
主要字段: 计算机科学(68-XX)

福克斯

20篇文献引用(1998–2023)
软件作者: 迪亚斯,安吉尔;埃里希·卡尔托芬
相关软件: 枫树;SACLIB;FireFly…
主要字段: 数论(11-XX);交换代数(13-XX);近似和展开(41-XX)…

杜芬伴随物

15篇文献引用(2020–2024)
软件作者: 米图什,S。;Funke,S。;J.多肯。
相关软件: FEniCS;GitHub;UFL…
主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

YYY年

19份文件引用(1990–2007)
软件作者: 哈里·莱恩
相关软件:
主要字段: 偏微分方程(35-XX);微分几何(53-XX);计算机科学(68-XX)…

GIMP公司

13份文件引用(1999–2022)
软件作者: GIMP团队
相关软件: R;ImageMagick;Ghostscript…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…

OPDOE公司

18篇文献引用(1990–2023)
软件作者: Petr Simecek、Jürgen Pilz、Mingui Wang、Albrecht Gebhardt
相关软件: R;加迈尔;mgcv…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);算子理论(47-XX)…

政治公众人物

17篇文献引用(1997–2018)
软件作者: Best,Eike;伯恩德·格拉曼
相关软件: M网络;Uppaal;玛丽亚…
主要字段: 计算机科学(68-XX)

TSPACK公司

18篇文献引用(1993–2020)
软件作者: R.J.伦卡。
相关软件: pchip;TSpack;TRIPACK…
主要字段: 组合数学(05-XX);近似和展开(41-XX);数值分析(65-XX)…

电子技师++

15篇文献引用(1990–2006)
软件作者: 安德雷·韦南德
相关软件: 艾菲尔铁塔;Smalltalk;关闭…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)

SLDRIVER系列

16篇文献引用(1997–2020)
软件作者: J.D.普莱斯。
相关软件: SLTSTPAK;雪橇;MATSLISE…
主要字段: 特殊功能(33-XX);常微分方程(34-XX);数值分析(65-XX)…

太阳能

16篇文献引用(1997–2019)
软件作者: S.托莱多,F.G.古斯塔夫森
相关软件: POOCLAPACK系列;包装;ScaLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

院子

14篇文献引用(2008–2023)
软件作者: Kozicki,J。;F.V.Donzé。
相关软件: 子弹;Matlab;OpenFOAM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

CST微波工作室

14篇文献引用(2002年至2022年)
软件作者: CST计算机仿真技术股份公司
相关软件: CST工作室套房;WavES;Matlab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

HordeSat卫星

13份文件引用(2015–2023)
软件作者: 托马斯·巴利奥;彼得·桑德斯;卡斯滕·辛兹
相关软件: ManySAT公司;弯曲;MiniSat…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

国际博协

16篇文献引用(2005–2021)
软件作者: Y.利巴。
相关软件: BARON公司;数字;COCONUT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

JCLEC公司

2份文件引用(2009–2015)
软件作者: 塞巴斯蒂安·文图拉、克里斯托巴尔·罗梅罗、阿米莉亚·扎夫拉、何塞·A·德尔加多、塞萨尔·埃尔瓦斯
相关软件: KEEL;UCI-ml;欧洲法院…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

奥林匹克2

8份文件引用(2002–2021)
软件作者: 威廉·格罗普
相关软件: OpenMPI;Mathematica;Matlab…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

奥普图纳

15篇文献引用(2021–2023)
软件作者: 秋叶拓哉、三野昭太郎、延濑敏彦、大田武夫、小山正男
相关软件: PyTorch;Hyperopt;Scikit…
主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);统计学(62-XX)…

R降价

在11份文件中引用(2015–2022)
软件作者: Ben Baumer、Mine Cetinkaya-Rendel、Andrew Bray、Linda Loi、Nicholas J.Horton
相关软件: R;knitr;ggplot2…
主要字段: 统计学(62-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)

可视化DSD

15篇文献引用(2013–2023)
软件作者: Lakin,M.R.、Youssef,S.、Polo,F.、Emmott,S.和Phillips,A。
相关软件: 棱镜;z3;Z34Bio…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…

PID_调整

14篇文献引用(2005–2021)
软件作者: 拉斯·埃里克森
相关软件: YALMIP;SeDuMi公司;Matlab…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);系统论;控制(93-XX)…

PySCIPOpt公司

14篇文献引用(2016–2023)
软件作者: 斯蒂芬·J·马赫、马提亚斯·米尔滕伯格、乔·佩德罗·佩德罗、丹尼尔·雷费尔特、罗伯特·施瓦兹、菲利佩·塞拉诺
相关软件: SCIP;古罗比;XPRESS…
主要字段: 总体主题;藏品(00-XX);凸和离散几何(52-XX);数值分析(65-XX)…

ECDAR公司

9份文件引用(2011–2022)
软件作者: 亚历山大·戴维;金·拉森。G。;Legay,Axel;乌尔里克·奈曼;安德烈·索夫斯基
相关软件: Uppaal;MIO工作台;UPPAAL TIGA…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

P2网格

12份文件引用(2000–2016)
软件作者: Enrico Bertolazzi;詹马科·曼齐尼
相关软件: 三角形;Blitz++库;TUNAM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

定量反馈理论工具箱

12份文件引用(1995–2017)
软件作者: Borghesani,C。;Chait,Y。;O.亚尼夫。
相关软件: Matlab;QFTCT;鲁棒控制工具箱…
主要字段: 系统论;控制(93-XX)

修补

10篇文献引用(2002–2024)
软件作者: 华盛顿大学医学院;Ponder,J.等人
相关软件: 琥珀色;NDL;VTDIRECT95…
主要字段: 数值分析(65-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

通用燃料电池

12份文件引用(2013–2023)
软件作者: 马丁·桑德夫·阿尔诺;安德斯·洛格;肯特·安德烈·马尔达尔
相关软件: FEniCS;UFL;道芬…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

ABsolver公司

10篇文献引用(2006年至2018年)
软件作者: Andreas Bauer、Markus Pister和Michael Tautschnig
相关软件: HySAT;数学SAT;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

冰流

在11份文件中引用(2014–2023)
软件作者: 丹尼尔·马提库克(Daniel Matichuk);马卡里乌斯·温泽尔;托比·默里
相关软件: Isabelle/HOL;伊莎贝尔;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

FisPro公司

6篇文献引用(2008–2022)
软件作者: 纪尧姆,S。;Charnomodic,B。
相关软件: R;C4.5;AS 136…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

打开DX

在11份文件中引用(2002年至2016年)
软件作者: 大卫·汤普森、杰夫·布劳恩、雷·福特
相关软件: FEniCS;PETSc;VTK…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

欧西里克斯

5份文件引用(2015–2018)
软件作者: Antoine Rosset、Luca Spadola、Osman Ratib
相关软件: VTK;PixelMed;ITK…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

PSAT公司

7份文件引用(2011–2018)
软件作者: 费德里科·米兰
相关软件: 圆顶;网格;Pandapower…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

RATSY公司

10篇文献引用(2012–2022)
软件作者: 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯
相关软件: NuSMV;JTLV;数学SAT…
主要字段: 数学逻辑与基础(03-XX);测量和集成(28-XX);计算机科学(68-XX)…

sktime时间

3份文件引用(2020–2023)
软件作者: Markus Löning、Anthony Bagnall、Sajaysurya Ganesh、Viktor Kazakov、Jason Lines、Franz J.Király
相关软件: 蟒蛇;tslearn;Scikit…
主要字段: 统计学(62-XX);计算机科学(68-XX)

ADDPLAN(附加计划)

4份文件引用(2006–2014)
软件作者: Wassmer G,Eisbett R公司
相关软件: EaSt;R;SAS…
主要字段: 统计学(62-XX)

施舍

10篇文献引用(2011–2022)
软件作者: 托夫,杰西·A。;里卡多·普切拉
相关软件: 哈斯克尔;旋风;锈带…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

j承包商

9份文件引用(2002–2012)
软件作者: 穆拉特·卡拉曼;帕克·阿伯克龙比
相关软件: JML;艾菲尔铁塔;规范#…
主要字段: 计算机科学(68-XX)

聚会

10篇文献引用(2000–2020)
软件作者: R.Preis、R.Diekmann
相关软件: 查科;苏格兰威士忌;乔斯特尔…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

Verilog公司

9份文件引用(1999–2020)
软件作者: 斯图亚特·萨瑟兰
相关软件: VPI;电源保护;卡米…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

贝叶斯选项

8份文件引用(2014–2023)
软件作者: 鲁本·马丁内斯·康廷
相关软件: NLopt;机器人学;YALMIP…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

日本标准普尔

4份文件引用(2018–2022)
软件作者: 乔纳森之爱;拉维·塞尔克;马尔滕·马尔斯曼;塔希拉·贾米尔;Damian Dropmann;Josine Verhagen;亚历山大·李;昆廷·格罗诺;马丁·什米拉;Sacha Epskamp;多拉·马茨克(Dora Matzke);野生安妮莉丝;帕特里克·奈特;杰弗里·鲁德;理查德·莫雷;Eric-Jan Wagenmakers公司
相关软件: R;贝叶斯因子;SPSS…
主要字段: 特殊功能(33-XX);统计学(62-XX);数值分析(65-XX)

PaGMO公司

6篇文献引用(2014–2023)
软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam)
相关软件: PaGMO/PyGMO;SciPy;Python…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

自动校对

7份文件引用(2015–2023)
软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;Polikarpova,N。
相关软件: 达夫尼;VCC;VeriFast…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

堆芯2

8份文件引用(2010–2022)
软件作者: 俞继洪;耶,琪;杜子林;Pion,Sylvain;埃尔维·布伦尼曼
相关软件: CGAL;LEDA;MPFR…
主要字段: 代数几何(14-XX);数值分析(65-XX);计算机科学(68-XX)

埃尔克洪德

7份文件引用(2004–2014)
软件作者: 斯科特·麦克皮克(Scott McPeak);Necula,George C。
相关软件: BRNGLR;ATERM;eSkel…
主要字段: 计算机科学(68-XX)

伊萨温

7份文件引用(1999–2007)
软件作者: 克里斯托夫·吕斯;伯克哈特·沃尔夫
相关软件: TAS;一般证明;Mizar…
主要字段: 计算机科学(68-XX)

Jnurbs公司

7份文件引用(2007–2017)
软件作者: 张雪峰,Ganesh Subbarayan
相关软件: ISOGAT;NLPQL公司
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);经典热力学,传热(80-XX)

游侠

6篇文献引用(2002年-2023年)
软件作者: Cortes V.Pillet、J.Labarta、S.Girona
相关软件: VAMPIR(VAMPIR);HPCTOOLKIT;OpenFOAM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

Polymake.jl公司

8份文件引用(2021–2024)
软件作者: Marek Kaluba、Benjamin Lorenz、Sascha Timme
相关软件: 多品牌;奥斯卡;同伦连续…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);流形和细胞复合体(57-XX)…

Qbox公司

5份文件引用(2010年至2019年)
软件作者: F.吉吉
相关软件: 量子浓缩咖啡;蟒蛇;西北化工…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)…

规则投标人

6篇文献引用(2015–2021)
软件作者: Xu,W.、Smith,A.M.、Faeder,J.R.、Marai,G.E。
相关软件: BioNetGen;千塔姆;NFsim…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

BAPS 2型

6篇文献引用(2007–2015)
软件作者: 朱卡·科兰德(Jukka Corander)、帕特里克·沃尔德曼(Patrik Waldmann)、佩卡·马丁宁(Pekka Marttinen)、米科·西兰帕德(Mikko J.Sillanpä)
相关软件: 结构;iCDI-PseFpt;iEzy-drug…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: 辅酶q;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

全球地图

4份文件引用(2008–2019)
软件作者: Rune Linding、Robert B.Russell、Victor Neduva和Toby J.Gibson
相关软件: IUPred;罗恩;折叠索引…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);生物学和其他自然科学(92-XX)…

热帧

7份文件引用(2003–2014)
软件作者: 安德烈亚斯·芬克;斯特凡·沃伊
相关软件: EasyLocal++;CBMix公司;METSlib…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

蒙巴萨

7份文件引用(2002年-2023年)
软件作者: 安德烈亚斯·费斯塔格;韦斯特霍夫,拉尔斯;亚当·沃利斯
相关软件: MacMPEC公司
主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

NURBS-Python公司

3份文件引用(2022–2023)
软件作者: O.R.Bingol、A.Krishnamurthy
相关软件: 蟒蛇;PyTorch;Matplotlib…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)

筛选结果依据…

全部的 前5名

相关软件