有限元分析 213篇文献引用(1993–2024) 软件作者: 泰勒;加州大学伯克利分校 相关软件: PETSc;ABAQUS;FEAPpv… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
西雅娜 75篇文献引用(2012–2023) 软件作者: J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件: TensorFlow;亚当;PyTorch… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
seL4级 92份文件引用(2009–2023) 软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。 相关软件: Isabelle/HOL;Coq;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…
TAMC公司 72份文件引用(1998年至2021年) 软件作者: Giering,Ralf;托马斯·卡明斯基 相关软件: TAF;ADIFOR公司;ADOL-C… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
dcc公司 46篇文献引用(2012–2023) 软件作者: 乌韦·诺曼 相关软件: ADOL-C;锥体;旋转… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
FFC公司 31份文件引用(2005–2023) 软件作者: A.Logg、K.B.Ølgaard、M.E.Rognes、G.N.Wells 相关软件: FEniCS;道芬;菲亚特… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
旋风 30篇文献引用(2003–2022) 软件作者: 弗雷德里克·史密斯;Dan Grossman;格雷格·莫里塞特(Greg Morrisett);卢克·霍诺夫(Luke Hornof);吉姆·特雷弗 相关软件: 哈斯克尔;CCured公司;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
PAG公司 引用于20份文件(1996–2018) 软件作者: 弗洛里安·马丁 相关软件: NINJA公司;BLAS;MPI/MPICH… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
TTC公司 6篇文献引用(2017–2022) 软件作者: 保罗·斯普林格(Paul Springer)、阿拉文德·桑卡兰(Aravind Sankaran)、保罗·比安蒂内西(Paolo Bientinesi) 相关软件: BLIS;HPTT;算法862… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
计算机辅助设计 7份文件引用(2006–2018) 软件作者: 科恩、诺曼、里埃姆 相关软件: NAG软件;TAF;锥体… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
密度编译器 7份文件引用(2015–2022) 软件作者: 曼纽尔·埃贝尔、约翰·霍兹尔、托比亚斯·尼普科 相关软件: Isabelle/HOL;HOL;存档正式证据… 主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
提升式配置 6篇文献引用(2017–2022) 软件作者: Rien Quirynen;塞巴斯蒂安·格罗斯;Boris Houska;莫里茨·迪尔 相关软件: ACADO;Ipopt;NewtonLib… 主要字段: 动力系统与遍历理论(37-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
龙卷风 7份文件引用(2020–2022) 软件作者: 索尼娅·贝拉伊德;达贡,皮埃尔·埃瓦里斯特;大流士·麦卡迪尔;马蒂厄·里万;拉斐尔·温特斯多夫 相关软件: maskVerif;凯卡克;ISAP… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
Cetus公司 4份文件引用(2004–2023) 软件作者: Lee,Sang-Ik;约翰逊,特洛伊·A。;鲁道夫·艾根曼 相关软件: LLVM;TRACO;方面C++… 主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX)
仄洛斯 6篇文献引用(2013年-2023年) 软件作者: 蒂莫西·伯克(Timothy Bourke)、马克·普泽特(Marc Pouzet) 相关软件: Simulink;状态流;LUSTRE… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
达瓦 4份文件引用(2002–2011) 软件作者: Jerome Miecznikowski;劳丽·亨德伦 相关软件: FlowDroid;ESC/Java;方面J… 主要字段: 计算机科学(68-XX)
MC开发 4份文件引用(2011–2018) 软件作者: 斯拉文斯卡,M。;贾达奇,S。 相关软件: 泡沫;根;BHLUMI… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);量子理论(81-XX)…
PLuTo公司 5份文件引用(2012–2022) 软件作者: Bondhugula,U.、Hartono,A.、Ramanujam,J.、Sadayappan,P。 相关软件: github;CompCertTSO;火焰… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)
简单 5份文件引用(2010–2020) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;Yices;SMT-LIB… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
TRACO公司 3份文件引用(2016–2023) 软件作者: 马雷克·帕尔科夫斯基(Marek Palkowski)、托马斯·克里梅克(Tomasz Klimek)、沃德齐米尔兹·比莱基(Wlodzimierz Bielecki) 相关软件: isl;鲸鱼;LLVM… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);数值分析(65-XX)…
DynTile公司 4份文件引用(2011–2018) 软件作者: Hartono,A。;Baskaran,M。;Ramanujam,J。;萨达亚潘,P。 相关软件: PLuTo;精密路径指示器;PHiPAC… 主要字段: 常微分方程(34-XX);凸和离散几何(52-XX);数值分析(65-XX)…
加纳 4份文件引用(2001–2002) 软件作者: 斯蒂芬·迪尔;哥尔格,卡斯滕;安德烈亚斯·凯伦(Andreas Kerren);莱因哈德·威廉 相关软件: 探戈;内华达州;GaniFA… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
OptiX公司 3份文件引用(2014–2023) 软件作者: NVIDIA公司;Steven G.Parker、James Bigler、Andreas Dietrich、Heiko Friedrich、Jared Hoberock、David Luebke、David Mcallister、Morgan Mcguire、Keith Morley、Austin Robinson、Martin Stich 相关软件: SudoDEM;Blaze-DEMGPU;曝光渲染… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
RNGSSELIB公司 4份文件引用(2011–2017) 软件作者: L.Yu·巴拉什。;Shchur,法律公告。 相关软件: SSE2;测试U01;RNGAVXLIB… 主要字段: 常微分方程(34-XX);数值分析(65-XX);信息与通信理论,电路(94-XX)
自动HOOT 1份文件引用(2022) 软件作者: 马林健、叶嘉玉、埃德加·索洛莫尼克 相关软件: 数字Py;皮曼诺普;DiffSharp… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);微分几何(53-XX);数值分析(65-XX)
加密验证 2份文件引用(2012–2013) 软件作者: 大卫·卡德;布鲁诺·布兰切特 相关软件: ASPIER公司;OCaml;密码点… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
DOTcvp公司 2份文件引用(2017–2019) 软件作者: Hirmajer,T.、Balsa-Canto,E.、Banga,J。 相关软件: Rcmdr;Rcmdr插件。雌鹿;R、 … 主要字段: 变分法与最优控制;优化(49-XX);生物学和其他自然科学(92-XX)
多蒂 2份文件引用(2016–2020) 软件作者: Odersky,M.、Petrashko,D.、Martres,G.等 相关软件: HMap;部落;1ML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
JS尼斯 2份文件引用(2015–2020) 软件作者: 雷切夫,韦塞林;马丁·维切夫(Martin Vechev);安德烈亚斯·克劳斯 相关软件: SerAPI;PCM库;ML4PG… 主要字段: 计算机科学(68-XX)
隐喻 2份文件引用(2006–2011) 软件作者: 格雷戈里·内弗罗夫(Gregory Neverov)、保罗·罗(Paul Roe) 相关软件: OCaml;方面J;Cayenne… 主要字段: 计算机科学(68-XX)
米隆加 2份文件引用(2002–2008) 软件作者: 布鲁诺,N。;海因茨,J。;马特拉,G。;Wachenchauzer,R。 相关软件: 投射Noether;克罗内克;隔离… 主要字段: 交换代数(13-XX);代数几何(14-XX);计算机科学(68-XX)
尼泊尔卢比+ 1份文件引用(2021) 软件作者: 扎卡里亚·艾蒂安 相关软件: NRPyCritCol;SFcollapse1D;朱庇特… 主要字段: 统计力学,物质结构(82-XX);相对论和引力理论(83-XX)
映射器 在0个文档中引用 软件作者: Travinin,N.(Travinin,N.)。;霍夫曼,H。;债券,R。;Chan,H。;Kepner,J。;E.Wong。 相关软件: 算法97;pMatlab;PSBLAS公司 主要字段: –
TSPACK公司 2份文件引用(1985–1995) 软件作者: Chaghaghi,François S。 相关软件: – 主要字段: 统计学(62-XX);数值分析(65-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
BNF转换器 1份文件引用(2006年) 软件作者: 迈克尔·佩劳尔(Michael Pellauer);马库斯·福斯伯格;阿内·兰塔 相关软件: 哈斯克尔;IFT博士;Agda… 主要字段: 计算机科学(68-XX)
轻松OCaml 1份文件引用(2015) 软件作者: Benedikt Becker,Christian Haack,J.B.Wells 相关软件: OCaml;SHErrLoc公司;vZ… 主要字段: 计算机科学(68-XX)
FOILGEN公司 1份文件引用(2016) 软件作者: 梅森WH 相关软件: github;JBLADE公司;Matlab… 主要字段: 可变形固体力学(74-XX);流体力学(76-XX);系统论;对照(93-XX)
Q*证书 1份文件引用(2018) 软件作者: Auerbach,J.S.、Hirzel,M.、Mandel,L.、Shinnar,A.、Siméon,J。 相关软件: 序列;HoTTSQL;SQLCert… 主要字段: 计算机科学(68-XX)