×

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

单一

1650年文献引用(1991–2024)
软件作者: Wolfram Decker公司;格特·马丁·格雷尔(Gert-Martin Greuel);格哈德·普菲斯特;汉斯·舍尼曼
相关软件: 麦考利2号;可可;SageMath…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

阿尔戈60

引用于657份文件(1959–2024)
软件作者: Naur,P。;巴克斯,J.W。;等人。
相关软件: ALGOL 68;欧拉;损益表…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

协和式飞机

328篇文献引用(1997–2024)
软件作者: Applegate,David L。;Robert E.Bixby。;瓦舍克·查塔尔;威廉·库克。
相关软件: TSPLIB;LKH;VRP…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

阿尔戈68

280篇文献引用(1969–2019)
软件作者: van Wijngaarden,A.作者简介;梅勒鲁,B.J。;Peck,J.E.L。;科斯特,C.H.A。;辛佐夫,M。;Lindsey,C.H。;Meertens,L.G.L.T。;R.G.菲斯克。
相关软件: ALGOL 60;模拟器67;Ada95…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

克里斯托费尔

271份文件引用(1996–2024)
软件作者: 托宾·A·德里斯科尔
相关软件: SC工具箱;Matlab;SCPACK…
主要字段: 复变量函数(30-XX);偏微分方程(35-XX);数值分析(65-XX)…

Risa/Asir公司

122篇文献引用(1992–2024)
软件作者: Noro Masayuki、Yokoyama Kazuhiro、Taku Takeshima、Takeshi Shimoyama、Hiroshi Anai、,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)…

GiNaC公司

92份文件引用(2002–2024)
软件作者: 欧洲专利局(EPO);C.W.Bauer、A.Frink、R.Kreckel
相关软件: 表格;雷杜泽;火灾…
主要字段: 复变量函数(30-XX);几何(51-XX);数值分析(65-XX)…

QPL公司

91份文件引用(2004–2023)
软件作者: 彼得·塞林格
相关软件: 质量管理清单;qGCL;Quipper…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);功能分析(46-XX)…

伊莎贝尔/采埃孚

引用于70篇文献(1993–2023)
软件作者: 劳伦斯·保尔森
相关软件: 伊莎贝尔;Coq;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…

Rapide公司

31份文件引用(1997–2019)
软件作者: 大卫·C·勒克汉姆。
相关软件: HOL;伊萨尔;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

尼莫

33篇文献引用(2017–2024)
软件作者: 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊
相关软件: 赫克;朱莉娅;间隙…
主要字段: 数论(11-XX);代数几何(14-XX);结合环和代数(16-XX)…

o树

35篇文献引用(2017–2024)
软件作者: Chen,D.L。;Schonger,M。;C·威肯斯。
相关软件: Z树;hroot;奥赛…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SCL总成

32篇文献引用(2009–2024)
软件作者: 杜珊·武德拉戈维奇;伊万娜·维达诺维奇;安顿巴拉日;保萨米·穆鲁加南丹(Paulsamy Muruganandam);Adhikari,Sadhan K。
相关软件: 格罗斯·皮塔耶夫斯基;AEDU;图像时间1d…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

自动教程

5份文件引用(2001–2021)
软件作者: 亚瑟·C·格雷瑟。;卢、舒兰;乔治·坦纳(George Tanner)·杰克逊(Jackson);米切尔、希瑟·海特;马修·文图拉(Mathew Ventura);安德鲁·奥尼(Andrew Olney);马克斯·路易斯。
相关软件: LIBSVM;汗学院;科姆特…
主要字段: 计算机科学(68-XX);数学教育(97-XX)

见鬼去吧

在30份文件中引用(2017–2024)
软件作者: 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊
相关软件: 尼莫;朱莉娅;SageMath…
主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…

PhreeqcRM公司

28篇文献引用(2009–2023)
软件作者: 大卫·帕克赫斯特
相关软件: PHREEQC;水文地球化学;MoMaS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

SYMMETRICA公司

26篇文献引用(1992–2017)
软件作者: Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队
相关软件: 枫树;许可证;利玛窦…
主要字段: 组合数学(05-XX);代数几何(14-XX);群论和推广(20-XX)…

达卡波

15篇文献引用(2009–2023)
软件作者: Blackburn,S.M.、Garner,R.、Hoffman,C.、Khan,A.M.、McKinley,K.S.、Bentzur,R.,Diwan,A.、Feinberg,D.、Frampton,D.、Guyer,S.Z.、Hirzel,M.、Hosking,A.、Jump,M.,Lee,H.、Moss,J.E.B.、Phansalkar,A.、Stefanovic,D.、VanDrunen,T.、von Dincklage,D.和Wiedermann,B
相关软件: 烟尘;方面J;SPECjvm2008…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

汞R

21篇文献引用(2011–2022)
软件作者: 中山弘;肯塔州西山;马赛尤基·诺罗;Katsuyoshi Ohara;Sei,Tomonari;高山、Nobuki;赤池竹村
相关软件: Risa/Asir;DLMF;R、 …
主要字段: 结合环与代数(16-XX);几个复变量与解析空间(32-XX);特殊功能(33-XX)…

SoDA公司

17篇文献引用(2004–2023)
软件作者: 约翰·钱伯斯。
相关软件: R;晶格;质量(R)…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

LFLC 2000型

13份文件引用(2004–2022)
软件作者: 伊朗空军
相关软件: ETPS;fclust;Juzzy…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…

VQA公司

10篇文献引用(2018–2023)
软件作者: Aishwarya Agrawal、Jiasen Lu、Stanislaw Antol、Margaret Mitchell、C.Lawrence Zitnick、Druv Batra、Devi Parikh
相关软件: 亚当;更快的R-CNN;CLEVR…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

版本25519

12份文件引用(2017–2023)
软件作者: Daniel J.Bernstein、Niels Duif、Tanja Lange、Peter Schwabe、Bo Yin Yang
相关软件: github;25519号曲线;fpylll…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

聚乙烯/ML

11份文件引用(2011–2020)
软件作者: 大卫马修斯
相关软件: 伊莎贝尔;伊莎贝尔·霍尔;HOL…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

SCAMP公司

7份文件引用(1991–2011)
软件作者: 赫伯特·M·索罗(Herbert M.Sauro)。;大卫·A·费尔。
相关软件: 格帕西;虚拟细胞;电子电话…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

Flickr30K手机

6篇文献引用(2019–2023)
软件作者: Bryan A.Plummer、Liwei Wang、Chris M.Cervantes、Juan C.Caicedo、Julia Hockenmaier、Svetlana Lazebnik
相关软件: VQA;MS-COCO;更快的R-CNN…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

Ginv公司

9份文件引用(2006–2023)
软件作者: 于布林科夫。答:。;副总裁Gerdt。
相关软件: 珍妮特;枫树;代数托马斯…
主要字段: 交换代数(13-XX);结合环与代数(16-XX);偏微分方程(35-XX)…

ICF3D

9份文件引用(2000年至2020年)
软件作者: 谢斯塔科夫,A.I。;普拉萨德医学博士。;Milovich,J.L。;Gentile,N.A。;画家J.F。;家具,G。
相关软件: TRHD;芝麻;MOOD…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

第四阶段

2份文件引用(2014–2015)
软件作者: J.M.Turney等人。
相关软件: PySCF;蟒蛇;SciPy…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)

比格南

7份文件引用(1993–2019)
软件作者: B.Serpette,J.Vuillemenin,J.C.Hervé
相关软件: Wombit;Why3;迷你卫星…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);数值分析(65-XX)…

苹果汁

3份文件引用(2022–2023)
软件作者: Ramakrishna Vedantam、C.Lawrence Zitnick、Devi Parikh
相关软件: BLEU;胭脂;VQA…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

生态实验室

1份文件引用(2000)
软件作者: 罗素·K·斯坦迪什(Russell K.Standish)。;理查德·利奥
相关软件: 类别描述MP;SWIG;助推…
主要字段: 常微分方程(34-XX);生物学和其他自然科学(92-XX)

高斯拟合

6篇文献引用(1987–2013)
软件作者: 威廉·杰弗里斯、芭芭拉·麦克阿瑟、詹姆斯·麦卡特尼
相关软件: Matlab公司
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

贾斯珀

4份文件引用(2002–2010)
软件作者: Michael,D.A.,Kossentini,F。
相关软件: YFCC100M;ImageNet;KITTI…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

QCL公司

3份文件引用(2010–2021)
软件作者: 奥默,B。
相关软件: LLVM;ScaffCC;Quipper…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

UCODE公司

5份文件引用(2009年至2017年)
软件作者: 诗人,E.P.,希尔,M.C。
相关软件: PHREEQC;PhreeqcRM;PostgreSQL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

C返回

3份文件引用(2017–2019)
软件作者: K.Helsgaun公司
相关软件: 糠;彗星;Gecode…
主要字段: 组合数学(05-XX);数论(11-XX);运筹学、数学规划(90-XX)

德维托

3份文件引用(2020年)
软件作者: 纳瓦约特·库克雷加、马蒂亚斯·卢布廷、费利佩·维埃拉、法比奥·卢波里尼、迈克尔·兰格、杰勒德·戈尔曼
相关软件: 蟒蛇;朱莉娅;mpi4jax…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

MEDEA公司

4份文件引用(2000–2018)
软件作者: Usó,J.L。;马图,J。;洛佩兹,J.A。
相关软件: DYNAMO公司
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

Poly3d公司

4份文件引用(2008–2010)
软件作者: A.L.托马斯
相关软件: OpenCL;海燕;Roxar RMS…
主要字段: 可变形固体力学(74-XX);地球物理学(86-XX)

HepML公司

2份文件引用(2010年至2013年)
软件作者: 贝洛夫,S。;杜德科,L。;Kekelidze,D。;A.谢尔斯特涅夫。
相关软件: 利巴韦林;MadEvent;HELAC…
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

Isar步骤

3份文件引用(2021–2023)
软件作者: 李文达;于磊;吴玉怀;劳伦斯·C·鲍尔森。
相关软件: Isabelle/HOL;HOList;开普勒98…
主要字段: 计算机科学(68-XX)

利庚醇

2份文件引用(2010年至2013年)
软件作者: 贝洛夫,S。;杜德科,L。;Kekelidze,D。;A.谢尔斯特涅夫。
相关软件: HepML;MadEvent;HELAC…
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

马奥塔斯

在0个文档中引用
软件作者: 路易斯·佩德罗·科埃略
相关软件: 数字Py;Scikit;赛马拉松…
主要字段:

皮夫

2份文件引用(2020–2022)
软件作者: 巴斯蒂安·文丘尔(Bastian Venthur);西蒙·斯科勒;约翰·威廉姆森;斯文·达赫内;Matthias S Treder;玛丽亚·T·克拉马雷克;克劳斯·罗贝特·米勒;本杰明·布兰克茨
相关软件: pyFFS;蟒蛇;数字标识…
主要字段: 近似和扩展(41-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

S/PHI/nX公司

2份文件引用(2010–2019)
软件作者: S.Boeck、C.Freysoldt、A.Dick、L.Ismer、J.Neugebauer
相关软件: 量子浓缩咖啡;PAW;Pwpaw…
主要字段: 特殊功能(33-XX);计算机科学(68-XX);量子理论(81-XX)…

统计-JR

1份文件引用(2018)
软件作者: Charlton CMJ、Michaelides DT、Parker、A RM、Cameron B、Szmaragd C、Yang H、Zhang Z、Frazer AJ、Goldstein H、Jones K、Leckie G、Moreau L、Browne WJ
相关软件: MLwiN;WinBUGS;SAS…
主要字段: 统计学(62-XX)

抛弃

2份文件引用(1998–2002)
软件作者: B.C.Garrett、G.C.Lynch、T.C.Allison、D.G.Truhlar
相关软件: 多酸盐;VENUS96;VARIFLEX…
主要字段: 经典热力学,传热(80-XX);量子理论(81-XX);生物学和其他自然科学(92-XX)

埃希姆++

2份文件引用(2011–2012)
软件作者: J.Gasteiger;T.恩格尔
相关软件: UMFPACK公司
主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)

gTybalt公司

1份文件引用(2004)
软件作者: 斯特凡·温齐尔
相关软件: NTL;嵌套总和;VEGAS…
主要字段: 计算机科学(68-XX)

hpcNMF公司

2份文件引用(2015–2021)
软件作者: 卡提克·德瓦拉扬;王国丽
相关软件: PRMLT;DESeq2;RSEM…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);计算机科学(68-XX)

LPMD公司

2份文件引用(2010–2021)
软件作者: 塞尔吉奥·戴维斯;洛约拉,克劳迪娅;费利佩·冈萨雷斯(Felipe Gonz'alez);佩拉塔,约阿库
相关软件: DL_POLY_3;发霉
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

MDVRY公司

2份文件引用(2009–2013)
软件作者: M.Souaille、H.Loirat、D.Borgis、M.P.Gaigeot
相关软件: MCMC2;GROMOS公司
主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…

食人鱼

2份文件引用(2017–2020)
软件作者: 佩尔米诺夫,A.S。;爱德华·库兹涅佐夫。
相关软件: github;WHFast公司
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX)

SHIML公司

2份文件引用(2011–2016)
软件作者: 马修·奥·扎卡特(Matthew O.Zacate)。;威廉·埃文森(William E.Evenson)。
相关软件: LAPACK;BLAS;GSL公司
主要字段: 统计力学,物质结构(82-XX)

ACLAN公司

1份文件引用(1990)
软件作者: 萨帕塔,E.L。;普拉塔,O.G。;里维拉,F.F。;布鲁格拉,J.D。;杜阿洛,R。;贝纳维德斯,I。;阿圭略,F。
相关软件:
主要字段: 计算机科学(68-XX)

ADIL公司

1份文件引用(2014年)
软件作者: 父亲理查德
相关软件: Matlab;枫树;PMAD公司
主要字段: 计算机科学(68-XX)

收缩

1份文件引用(1993)
软件作者: 贝鲁贝,D。;德蒙蒂尼,M。
相关软件: 数学软件
主要字段: 非结合环与代数(17-XX)

达尔文

1份文件引用(2008)
软件作者: G.H.Gonnet、M.T.Hallett、C.Korostensky和L.Bernardin
相关软件:
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

差异设备GPU.jl

1份文件引用(2024)
软件作者: 乌特卡什;Churavy,Valentin;马应波;贝萨德,蒂姆;Prakitr Srisuma;健身房,蒂姆;Adam R.Gerlach。;艾伦·爱德曼(Alan Edelman);乔治·巴巴斯塔斯;理查德·布拉茨(Richard D.Braatz)。;克里斯托弗·拉卡卡斯
相关软件: github;CuArrays.jl;CUDAnative.jl…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

EOS公司

1份文件引用(2004)
软件作者: 安杰伊·奥西奇卡;斯坦尼斯·克雷尼奇;乔安娜·科兹斯特克(Joanna Krzystek);贾塞克·哈贝尔
相关软件:
主要字段: 可变形固体力学(74-XX)

弗勒瓦

在0个文档中引用
软件作者: Kadow,C.、Illing,S.、Lucio-Eceiza,E.E.、Bergemann,M.、Ramadoss,M.,Sommer,P.S.、Kunst,O.、Schartner,T.、Pankatz,K.、Grieger,J.、Schuster,M.和Richling,A.、Thiemann,H.、Kirchner,I.、Rust,H.W.、Ludwig,T.,Cubasch,U.、Ulbrich,U。
相关软件: ESMValTool;MurCSS;索尔…
主要字段:

GENCRAY公司

1份文件引用(1992)
软件作者: 桑吉瓦Weerawarana;Wang,Paul S。
相关软件: 手指;GENTRAN公司;马西玛…
主要字段: 计算机科学(68-XX)

Lti图书馆

在0个文档中引用
软件作者: 亚琛理工大学LTI
相关软件:
主要字段:

妈咪

1份文件引用(1997)
软件作者: 霍尔格·诺恩多夫
相关软件: 单兵携带防空系统
主要字段: 计算机科学(68-XX)

数学CW

1份文件引用(2017)
软件作者: 尼尔森·H·F·毕比。
相关软件: 测试U01;FNLIB;端口…
主要字段: 数值分析(65-XX)

数学

1份文件引用(2009)
软件作者: 乔治·盖斯林二世
相关软件: 数据包;GAMS;CPLEX…
主要字段: 运筹学、数学规划(90-XX)

MICROQL公司

1份文件引用(2017)
软件作者: J.C.韦斯特尔。
相关软件: WATSPEC;FITEQL;PHREEQC…
主要字段: 数值分析(65-XX);经典热力学,传热(80-XX);地球物理学(86-XX)

MiPy公司

1份文件引用(2000)
软件作者: 约翰·巴纳德
相关软件: 数字Py;F2PY;错误…
主要字段: 统计学(62-XX);数值分析(65-XX)

OPFython公司

在0个文档中引用
软件作者: 古斯塔沃·恩里克·德·罗萨(Gustavo Henrique de Rosa)、乔·保罗·帕帕(Joáo Paulo Papa)、亚历山大·泽维尔·法尔考(Alexandre Xavier Falcáo)
相关软件: LibOPF;LIBSVM;蟒蛇
主要字段:

第3页

在0个文档中引用
软件作者: 福费赞,基督徒;迈克尔·斯佩克特
相关软件:
主要字段:

平行Lbm克兰菲尔德

1份文件引用(2017)
软件作者: 马塞·绍克;乔兹萨,塔马斯·伊斯坦;科莱斯扎尔,阿尔达姆;艾琳·穆利萨斯(Irene Moulitsas);LászlóKönözsy
相关软件: UPC;CUDA公司
主要字段: 数值分析(65-XX);流体力学(76-XX)

PoloPlus系列

1份文件引用(2007)
软件作者: LeOra公司
相关软件:
主要字段: 统计学(62-XX)

QUADLOG公司

1份文件引用(2007)
软件作者: Nelson H.F.Beebe。;鲍尔,詹姆斯·S
相关软件: FDLIBM;英尺切克;LCLint…
主要字段: 数值分析(65-XX)

RGB2手

在0个文档中引用
软件作者: Wang,J.、Mueller,F.、Bernard,F.,Sorli,S.、Sotnychenko,O.、Qian,N.、Otaduy,M.A.、Casas,D.、Theobalt,C。
相关软件: 蟒蛇;Mask2手柄;JGR-P2O…
主要字段:

SMV公司++

1份文件引用(2009)
软件作者: 布尔奇奇,斯坦科;久吉奇-佐尔尼娅,Ljiljana
相关软件: IML++;MV++;libsmv…
主要字段: 数值分析(65-XX)

TPCC-uva公司

在0个文档中引用
软件作者: 费拉里斯,迭戈·R·拉诺斯
相关软件:
主要字段:

视觉鸡蛋

1份文件引用(2020年)
软件作者: 斯特劳,A.D。
相关软件:
主要字段: 生物学和其他自然科学(92-XX)

W基础

1份文件引用(1994年)
软件作者: A.坎迪埃洛
相关软件:
主要字段: 非结合环与代数(17-XX);计算机科学(68-XX)

MVTH公司

在0个文档中引用
软件作者: 山姆·布罗姆利
相关软件:
主要字段:

验证工具

在0个文档中引用
软件作者: 验证和运行
相关软件:
主要字段:

视觉OCL

在0个文档中引用
软件作者: C.Kiesner、G.Taentzer、J.Winkelmann
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件