×

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

有限元分析

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)

环路

24篇文献引用(2001–2012)
软件作者: 约阿希姆·范登伯格;巴特·雅各布斯
相关软件: JML;PVS;卡拉卡拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

贾斯特阿德

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

视频编码

8份文件引用(1998–2011)
软件作者: 道森·R·恩格尔
相关软件: DyC;旋风;MetaOCaml…
主要字段: 计算机科学(68-XX)

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-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)…

DisCo公司

7份文件引用(1998-2006年)
软件作者: 蒂莫·阿尔顿;米卡·卡塔拉;里斯托·皮卡宁
相关软件: PVS;方面J;Ocsid…
主要字段: 计算机科学(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)

自适应

3份文件引用(2000–2019)
软件作者: M.J.Voss、R.Eigenmann
相关软件: 精密路径指示器;OSKI;FFTW…
主要字段: 计算机科学(68-XX)

Cetus公司

4份文件引用(2004–2023)
软件作者: Lee,Sang-Ik;约翰逊,特洛伊·A。;鲁道夫·艾根曼
相关软件: LLVM;TRACO;方面C++…
主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX)

LMS公司

5份文件引用(2010–2022)
软件作者: Tiark Rompf、Martin Odersky
相关软件: 科卡;博客;TMB…
主要字段: 计算机科学(68-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)…

贵宾

1份文件引用(2000)
软件作者: 莫阿塔斯·卡梅尔;斯特凡·洛伊
相关软件: 自旋蛋白;SymmSpin;Uppaal…
主要字段: 计算机科学(68-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)

结壳

3份文件引用(2020–2022)
软件作者: 托曼,J.,彭斯坦纳,S.,托拉克,E。
相关软件: 锈蚀;蝰蛇;VCC…
主要字段: 计算机科学(68-XX)

SC个

在0个文档中引用
软件作者: SCons基金会
相关软件: 数字Py;蟒蛇;FFTW…
主要字段:

自动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)

巴别塔

在0个文档中引用
软件作者: https://babeljs.io/team网站
相关软件: 鳞茎;萨斯;反应…
主要字段:

BNF转换器

1份文件引用(2006年)
软件作者: 迈克尔·佩劳尔(Michael Pellauer);马库斯·福斯伯格;阿内·兰塔
相关软件: 哈斯克尔;IFT博士;Agda…
主要字段: 计算机科学(68-XX)

Chor公司

1份文件引用(2016)
软件作者: Carbone,M.,Montesi,F。
相关软件: 乱涂;标签
主要字段: 计算机科学(68-XX)

Cobol变压器

1份文件引用(2005)
软件作者: Siber系统公司。
相关软件: ASF+SDF;钴醇;佩尔
主要字段: 计算机科学(68-XX)

DLVM(分布式虚拟机)

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

轻松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)

金融服务管理委员会+

1份文件引用(2012)
软件作者: Tiella R、Villaflorita A、Tomasi S。
相关软件: 自旋
主要字段: 计算机科学(68-XX)

伊塞马尔

在0个文档中引用
软件作者: Charith Mendis;萨曼·阿马拉辛格;迈克尔·卡宾
相关软件:
主要字段:

LCTD公司

1份文件引用(2016)
软件作者: 奥利·萨里基维;凯乔·赫尔扬科
相关软件: 薄片;LLVM;STP…
主要字段: 计算机科学(68-XX)

Mashic公司

1份文件引用(2013)
软件作者: 罗,Z。;雷兹克,T。
相关软件: FlowFox;水仙;监狱…
主要字段: 计算机科学(68-XX)

记忆法

1份文件引用(2010年)
软件作者: 约翰·鲁道夫(Johannes Rudolph);彼得·蒂曼
相关软件: BCEL;TALX6;ASM…
主要字段: 计算机科学(68-XX)

蒙博

1份文件引用(2006年)
软件作者: 阿克特穆尔,巴尔;萨姆·卡明
相关软件: 莫德
主要字段: 计算机科学(68-XX)

Q*证书

1份文件引用(2018)
软件作者: Auerbach,J.S.、Hirzel,M.、Mandel,L.、Shinnar,A.、Siméon,J。
相关软件: 序列;HoTTSQL;SQLCert…
主要字段: 计算机科学(68-XX)

流融合代码

1份文件引用(2015)
软件作者: 安德烈亚斯·洛赫比勒;亚历山大·马克西莫娃
相关软件: 流融合;CeTA;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

瓦拉

在0个文档中引用
软件作者: Billeter J,Sandrini R公司
相关软件: REventLoop;limma;wxWidgets…
主要字段:

CppAD代码生成

在0个文档中引用
软件作者: 乔·鲁伊·利尔
相关软件:
主要字段:

Expertus公司

在0个文档中引用
软件作者: Jayasinghe D、Swint G、Malkowski S、Li J、Wang Q、Park J、Pu C
相关软件:
主要字段:

libFIRM公司

在0个文档中引用
软件作者: 哥茨·林登梅尔
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件