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)…
排队计算机 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)
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)
边界六角 1份文件引用(2016) 软件作者: 菲利普·特雷布歇;伯纳德·穆兰(Bernard Mourrain);Marta Abril Bucero 相关软件: 贾克;Xcas;Mosek… 主要字段: 交换代数(13-XX);数值分析(65-XX);计算机科学(68-XX)
DESDEO公司 在0个文档中引用 软件作者: G.米西塔诺;B.S.Saini;B.阿夫萨尔;B.Shavazipour;K.Miettinen公司 相关软件: 定义;苯解;ASMO… 主要字段: ——
埃乌尔桑 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)
JGAP公司 1份文件引用(2001) 软件作者: 陈丁毅;Chuang,Tyng-Ruey;蔡世纯 相关软件: JSamba;爪哇;图形库… 主要字段: 组合数学(05-XX);计算机科学(68-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)
纳卡456 1份文件引用(2016) 软件作者: 卡迈克尔·R 相关软件: github;FOILGEN公司;JBLADE… 主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;控制(93-XX)
SYMPLER公司 1份文件引用(2018) 软件作者: David Kauzlarić、Marek Dynowski、Lars Pastewka、Andreas Greiner、Jan G.Korvink 相关软件: —— 主要字段: 计算机科学(68-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)