×

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

ELAN公司

106篇文献中引用(1996-2020)
软件作者: Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek
相关软件: 莫德;咖啡馆;OBJ3…
主要字段: 一般性和全局性主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

托勒密

66份文件引用(1995–2022)
软件作者: Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong
相关软件: 大都市;卢斯特;状态流…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

PRONTO3D公司

58篇文献引用(1992–2023)
软件作者: 阿塔韦,西南部。;亨德里克森,文学学士。;Plimpton,S.J.公司。;D.R.加德纳。;沃恩,C.T。;布朗,K.H。;M.W.海因斯坦。
相关软件: LS-DYNA;DYNA3D;ABAQUS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

交响曲

40篇文献引用(2001–2022)
软件作者: Ladányi,拉斯洛;泰德·K·拉尔夫。;Leslie E.jun,Trotter
相关软件: CPLEX;阿巴克斯;MINTO…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

ColPack系列

36篇文献引用(2008–2024)
软件作者: Assefaw H.Gebremedhin、Arijit Tarafdar、Duc Nguyen、Alex Pothen
相关软件: ADOL-C;AMPL;hess_pat…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

莫塞尔

37篇文献引用(2003–2021)
软件作者: Fair Isaac公司;科伦巴尼·Y、海普克·S。
相关软件: XPRESS;AMPL;游戏…
主要字段: 一般性和全局性主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…

乐高SNARK

引用于19份文件(2020–2023)
软件作者: 坎帕内利M。;菲奥雷·D。;Querol A公司。
相关软件: 马林鱼;皮诺奇;libiop…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

霍姆4PS-3

在16份文件中引用(2014–2024)
软件作者: 陈天然;Lee,Tsung-Lin;李天恩
相关软件: PHCpack;贝尔蒂尼;数字代数几何…
主要字段: 交换代数(13-XX);代数几何(14-XX);凸和离散几何(52-XX)…

EFTofPNG公司

14篇文献引用(2019–2023)
软件作者: 米歇尔·列维(Michele Levi)、扬·斯坦霍夫(Jan Steinhoff)
相关软件: x法案;基拉;LiteRed…
主要字段: 拓扑群,李群(22-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

澳大利亚商业银行副本

6篇文献引用(2018–2023)
软件作者: Dutta,R.、Schoengens,M.、Ummadisingu,A.、Widmer,N.、Onnela,J.-P.和Mira,A。
相关软件: ELFI;作业成本法;PyTorch…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

克莱恩代数

9份文件引用(2015–2022)
软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。
相关软件: 存档正式证据;Isabelle/HOL;大锤…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

Mod-p群上同调

9份文件引用(2010–2022)
软件作者: 西蒙·金、大卫·格林
相关软件: 间隙;SageMath;单数…
主要字段: 一般性和全局性主题;藏品(00-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…

QCMPI公司

7份文件引用(2009–2018)
软件作者: 弗兰克·塔巴金(Frank Tabakin);布鲁诺朱利亚·迪亚斯
相关软件: QCWAWE;质量保证;数学…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

古巴国防部

8份文件引用(2006–2017)
软件作者: 萨达尔·安尼苏尔·哈克(Sardar Anisol Haque)、辛莉(Xin Li)、法纳姆·曼苏里(Farnam Mansouri)、马克·莫雷诺·马扎(Marc Moreno Maza)、韦潘(Wei Pan)、谢宁(Ning Xie)
相关软件: 枫树;岩浆;正则链…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

杰拉西尔

8份文件引用(2017–2023)
软件作者: 马克斯·班纳赫(Max Bannach);塞巴斯蒂安·伯恩特;托尔斯滕·埃勒
相关软件: D-扁平;托托;dynASP…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

semPLS系统

5份文件引用(2013–2023)
软件作者: Leisch F、Monecke A公司
相关软件: SmartPLS;R;plspm…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

张力

5份文件引用(2021–2022)
软件作者: 亚历山大·库内尔(Alexander Kuhnle);Michael Schaarschmidt;凯·弗里克
相关软件: TensorFlow;OpenAI健身房;地平线…
主要字段: 计算机科学(68-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)

CFDEM耦合

7份文件引用(2017–2022)
软件作者: Goniva,C。;A.海格。
相关软件: 照明设备;OpenFOAM;变形杆菌…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

雅典娜++

5份文件引用(2021–2023)
软件作者: James M.Stone、Kengo Tomida、Christopher J.White、Kyle G.Felker
相关软件: AMReX;闪光;冥王星…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

VM密码

5份文件引用(2012–2023)
软件作者: L.Malka和J.Katz
相关软件: 美味的;FairplayMP;VIFF…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

QWire公司

4份文件引用(2017)
软件作者: Payikin,J.、Rand,R.、Zdancewic
相关软件: 奎珀;问题#;凯伊迈拉X…
主要字段: 一般性和全局性主题;藏品(00-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

卡利普索

4份文件引用(1997–2009)
软件作者: 乔瓦尼·塞萨里
相关软件: ——
主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)

排队计算机

1份文件引用(2024)
软件作者: 安东尼·埃伯特(Anthony Ebert)、保罗·吴(Paul Wu)、凯里·蒙格森(Kerrie Mengersen)、法布里奇奥·鲁杰里(Fabrizio Ruggeri)
相关软件: R;dplyr;SimPy…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

R2SM(平方米)

4份文件引用(2011–2015)
软件作者: M.V.Garzelli;I.马拉莫斯
相关软件: CutTools;HELAC-1回路;戈萨姆…
主要字段: 量子理论(81-XX)

罗斯

4份文件引用(2002–2019)
软件作者: Christopher D.Carothers。;大卫·鲍尔(David Bauer);肖恩·皮尔斯
相关软件: GTW;使徒;Python PDEVS…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

科学实验室

4份文件引用(2010–2019)
软件作者: 斯蒂芬·坎贝尔(Stephen L.Campbell)。;Chancelier,Jean-Philippe;Ramine Nikoukhah
相关软件: 科科斯;SCADE;GPOPS…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

卡帕

3份文件引用(2019–2023)
软件作者: 坎波利,L。;Oblapenko,G.P。;E.V.库斯托瓦。
相关软件: t-SNE;TensorFlow;Python…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);流体力学(76-XX)…

破裂

1份文件引用(2019)
软件作者: Charles Truong、Laurent Oudre、Nicolas Vayatis
相关软件: github;蟒蛇;变更点…
主要字段: 统计学(62-XX)

APFEL公司++

1份文件引用(2018)
软件作者: 瓦莱里奥·伯顿
相关软件: 霍普特;APFEL;QCDNUM16…
主要字段: 量子理论(81-XX)

G学习

2份文件引用(2022–2023)
软件作者: 阿梅利,S。;南卡罗来纳州沙登。
相关软件: IMATE;DetKit;GMRFLib…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)

莫德沃克

2份文件引用(2003–2016)
软件作者: S.奥伯弗兰兹
相关软件: ffmodstd;modstd.lib;麦考利2…
主要字段: 组合数学(05-XX);交换代数(13-XX);计算机科学(68-XX)

RLgraph(RL图形)

在0个文档中引用
软件作者: Michael Schaarschmidt、Sven Mika、Kai Fricke、Eiko Yoneki
相关软件: OpenAI健身房;地平线;多巴胺…
主要字段: ——

SurVAE流量

1份文件引用(2022)
软件作者: Didrik Nielsen、Priyank Jaini、Emiel Hoogeboom、Ole Winther、Max Welling
相关软件: nflows;辉光;JAX…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

蒂尼

1份文件引用(2022)
软件作者: R.Duda、J.Keski-Rahkonen、J.Solanpää、E.Räsänen
相关软件: 蟒蛇;SciPy;GitHub…
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

ANDECS系统

1份文件引用(1994)
软件作者: Grübel,G。;芬斯特瓦尔德,R。;Gramlich,G。;Joos,H.-D。;勒瓦尔德,S。
相关软件: ——
主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

ATR4S系统

在0个文档中引用
软件作者: N.阿斯特拉罕茨夫
相关软件: JATE公司;StanfordCoreNLP;Texterra…
主要字段: ——

边界六角

1份文件引用(2016)
软件作者: 菲利普·特雷布歇;伯纳德·穆兰(Bernard Mourrain);Marta Abril Bucero
相关软件: 贾克;Xcas;Mosek…
主要字段: 交换代数(13-XX);数值分析(65-XX);计算机科学(68-XX)

计算GK

在0个文档中引用
软件作者: 李卓熙
相关软件: 数学软件
主要字段: ——

DESDEO公司

在0个文档中引用
软件作者: G.米西塔诺;B.S.Saini;B.阿夫萨尔;B.Shavazipour;K.Miettinen公司
相关软件: 定义;苯解;ASMO…
主要字段: ——

DLVM(分布式虚拟机)

在0个文档中引用
软件作者: Richard Wei、Vikram Adve、Lane Schwartz
相关软件: 卤化物;PyTorch;NNVM…
主要字段: ——

埃乌尔桑

1份文件引用(2013)
软件作者: L.Jourdren、M.Bernard、M.A.Dillies、S.Le Crom
相关软件: 普罗瓦林;十字弓;k表示++…
主要字段: 生物学和其他自然科学(92-XX)

从格到模

1份文件引用(2022)
软件作者: M.Kirschmer、F.Narbonne、C.Ritzenthaler、D.Robert
相关软件: 曲线重建;禽异基因
主要字段: 代数几何(14-XX);结合环与代数(16-XX)

Isogeny_问题

1份文件引用(2022)
软件作者: 藤崎隆彦;池松、靖子;莫莫纳利·库多;安田、Masaya;横山和弘
相关软件: 锡克
主要字段: 代数几何(14-XX);信息与通信理论,电路(94-XX)

jcmWave公司

1份文件引用(2010)
软件作者: ——
相关软件: JCM套件;rbMIT公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)

JGAP公司

1份文件引用(2001)
软件作者: 陈丁毅;Chuang,Tyng-Ruey;蔡世纯
相关软件: JSamba;爪哇;图形库…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

moddiq.lib

1份文件引用(2018)
软件作者: 石原义夫
相关软件: 单数的
主要字段: 交换代数(13-XX)

修改.lib

1份文件引用(2009)
软件作者: Hashemi A、Pfister G、Schönemann H
相关软件: Mathematica;toric.lib;岩浆…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);生物学和其他自然科学(92-XX)

Modular_arithmetic_LLL_和_HNF_算法

1份文件引用(2022)
软件作者: 拉尔夫·波特什、何塞·迪瓦森、雷内·蒂埃曼
相关软件: 伊莎贝尔;Kenzo;传输…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)

运动

1份文件引用(2023)
软件作者: Braun,L.,Demmler,D.,Schneider,T.,Tkachenko,O。
相关软件: github;CIFAR;MNIST…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

MXFusion公司

在0个文档中引用
软件作者: 戴振文等。
相关软件: 胶子TS;sktime时间;Pyro…
主要字段: 计算机科学(68-XX)

纳卡456

1份文件引用(2016)
软件作者: 卡迈克尔·R
相关软件: github;FOILGEN公司;JBLADE…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;控制(93-XX)

自然CC

在0个文档中引用
软件作者: 姚婉、杨河、张建国、隋玉磊、海金、徐冠东、熊才明、菲利普·S·余
相关软件: CodeBERT;VulDeePecker;RoBERTa…
主要字段: ——

NICO公司

在0个文档中引用
软件作者: N.斯特罗姆
相关软件: 使…具体化
主要字段: ——

PaReDuX公司

1份文件引用(1998)
软件作者: Bündgen,莱因哈德;曼弗雷德·哥贝尔;库奇林,沃尔夫冈;安德烈亚斯·韦伯
相关软件: ——
主要字段: 计算机科学(68-XX)

PSAGE公司

1份文件引用(2011)
软件作者: 马丁·劳姆
相关软件: NTL;蟒蛇;GitHub…
主要字段: 数论(11-XX);范畴理论;同调代数(18-XX)

SCA工具箱

在0个文档中引用
软件作者: 娜塔莉·巴杜尔·艾登·多夫洛
相关软件: 枫树
主要字段: ——

SOQCS系统

1份文件引用(2023)
软件作者: 瓦拉、哈维尔·奥斯卡、吉里
相关软件: ——
主要字段: 光学、电磁理论(78-XX);量子理论(81-XX)

SYMPLER公司

1份文件引用(2018)
软件作者: David Kauzlarić、Marek Dynowski、Lars Pastewka、Andreas Greiner、Jan G.Korvink
相关软件: ——
主要字段: 计算机科学(68-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)

Tlib公司

在0个文档中引用
软件作者: 托马斯·劳贝尔;古杜拉·伦格
相关软件: ——
主要字段: ——

姚明(YAO)

在0个文档中引用
软件作者: Luigi Nardi、Charles Sorror、Fouad Badran、Sylvie Thiria
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件