×

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

Uppaal公司

568份文件引用(1990–2023)
软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学
相关软件: 克罗诺斯;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

线性代数库

425篇文献引用(1995–2023)
软件作者: L.S.布莱克福德。;Choi,J。;克利里,A。;达泽维多,E。;德梅尔,J。;迪尔隆,I。;Dongarra,J。;Hammarling,S。;亨利·G。;佩蒂特,A。;斯坦利,K。;Walker,D。;R.C.惠利。
相关软件: LAPACK;BLAS;PLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

Gensys公司

96篇文献引用(2002–2023)
软件作者: 克里斯托弗·西姆斯(Christopher A.Sims)。
相关软件: Uhlig工具包;Dynare公司;bvarsv…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

TRLan公司

78篇文献引用(1999–2024)
软件作者: 吴克胜;霍斯特·西蒙
相关软件: JDQZ;IRAM;JDQR…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

曲线25519

59篇文献引用(2006–2023)
软件作者: D.J.伯恩斯坦。
相关软件: Ed448-金发姑娘;github;电子广播公司…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

微型基准

23篇文献引用(2014–2024)
软件作者: 奥拉夫·默斯曼
相关软件: R;卢比;测试…
主要字段: 动力学系统和遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…

Uppaal2k公司

38篇文献引用(2000–2017)
软件作者: 金·拉森(Kim G.Larsen)、王毅(Wang Yi)、保罗·佩特森(Paul Pettersson)、亚历山大·戴维(Alexandre David)、布莱恩·尼尔森(Brian Nielsen)、阿恩·斯科(Arne Skou)、约翰·哈坎森(John Hákansson)、雅各布·伊勒姆·拉斯穆森(Jacob Illum Rasmussen)
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SMIL公司

10篇文献引用(2001–2016)
软件作者: W3.org网站
相关软件: XPath;Lua;SPARQL…
主要字段: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)

智能_

23篇文献引用(2000–2018)
软件作者: Ciardo,G。;琼斯,R.L。;Miner,A.S.公司。;R·西米尼亚努。
相关软件: 自旋蛋白;棱镜;NuSMV…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

心理物理工具箱

17篇文献引用(2011–2023)
软件作者: D.布雷纳德
相关软件: 视频工具箱;Matlab;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SIDH公司

26篇文献引用(2016–2023)
软件作者: Costello,C.、Longa,P.、Naehrig,M.、。
相关软件: SIKE公司;github;曲线25519…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

RRQR公司

22篇文献引用(1998–2022)
软件作者: 克里斯蒂安·比肖夫。;格雷戈里奥·金塔纳·奥尔蒂
相关软件: 汤姆斯/782;LAPACK;mctoolbox…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

汤姆斯/782

22篇文献引用(1998–2022)
软件作者: 克里斯蒂安·比肖夫。;格雷戈里奥·金塔纳·奥尔蒂
相关软件: RRQR;LAPACK;mctoolbox…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

PetRBF公司

21篇文献引用(2010–2023)
软件作者: R.Yokota、L.Barba、M.G.Knepley
相关软件: Matlab;H2Lib;PETSc…
主要字段: 近似和扩展(41-XX);数值分析(65-XX);流体力学(76-XX)…

SBR工具箱

20篇文献引用(2000–2019)
软件作者: 克里斯蒂安·比肖夫(Christian H.Bischof);布鲁诺·朗;孙小白
相关软件: LAPACK;ScaLAPACK;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

税收

15篇文献引用(2001–2017)
软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普劳(Jacques Pulou);约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特尔
相关软件: Uppaal;克罗诺斯;埃菲尔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

乔托

17篇文献引用(2001–2022)
软件作者: Thomas A.Henzinger、Benjamin Horowitz、Christoph Meyer Kirsch
相关软件: 卢斯特;Uppaal;酯类…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

TorX公司

16篇文献引用(2005–2021)
软件作者: 亨利克·博恩坎普(Henrik Bohnenkamp);埃克塞尔·贝林芬特
相关软件: JTorX;SpecExplorer;STG…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

网格流

5份文件引用(2006–2011)
软件作者: 曹俊伟;贾维斯公司。;Saini,S。;格拉汉姆·R·努德。
相关软件: 飞马座;Globus工具包;DAGMan…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

CPOLY公司

17篇文献引用(1978–2023)
软件作者: M.A.詹金斯;J.F.特劳布
相关软件: copula;ks;连接词…
主要字段: 复变量函数(30-XX);统计学(62-XX);数值分析(65-XX)…

GALATICS公司

13份文件引用(2020–2024)
软件作者: G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi
相关软件: BLISS;事实真相;齐古拉…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

伊佩尔夫

3份文件引用(2004–2018)
软件作者: A.蒂鲁马拉;J.弗格森
相关软件: VMWare;Mininet;HyperFlow…
主要字段: 计算机科学(68-XX)

HACL公司*

12份文件引用(2018–2023)
软件作者: Jean Karim Zinzindohoue、Karthikeyan Bhargavan、Jonathan Protzenko、Benjamin Beurdouche
相关软件: Why3;茉莉花;工具链…
主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

麦克比特

12份文件引用(2013–2024)
软件作者: Daniel J.Bernstein、Tung Chou、Peter Schwabe
相关软件: 麦克利埃塞;蛋糕;自行车…
主要字段: 数论(11-XX);数值分析(65-XX);量子理论(81-XX)…

CMU基准

引用于9份文件(2006–2023)
软件作者: 朱利安·顺;盖伊·布莱洛;杰里米·芬曼(Jeremy Fineman);菲利普·吉本斯;Aapo Kyrola公司;Kanat Tangwonsan;哈沙·瓦尔丹·辛哈德里
相关软件: github;SATLIB基准套件;mkESA…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

查找反弹

引用于9份文件(2020–2023)
软件作者: 维克托·瓜达(Victor Guada)、米哈·内梅夫舍克(Miha Nemevšek)、马特夫·平塔尔(MatevíPintar)
相关软件: 宇宙转换;任何气泡;气泡探查器…
主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)…

GCDHEU公司

10篇文献引用(1984–2022)
软件作者: Char,Bruce W。;基思·O·盖迪斯。;Gaston H.Gonnet。
相关软件: 枫树;伊斯兰教;减少…
主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…

高功率激光器

6篇文献引用(2017–2021)
软件作者: Petitet A、Whaley RC、Dongarra J、Cleary A
相关软件: LINPACK;mctoolbox;CUDA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

pTatin3D

10篇文献引用(2015–2021)
软件作者: D.A.May、J.Brown、L.L.Laetitia
相关软件: PETSc;FEniCS;deal.ii…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

斯托奇Py

引用于9份文件(2017–2022)
软件作者: Maarleveld,T.R。;奥利维尔,B.G。;F.J.布鲁格曼。
相关软件: BioNetGen;工具箱2;COPASI…
主要字段: 常微分方程(34-XX);近似和扩展(41-XX);概率论与随机过程(60-XX)…

Verilog公司

引用于9份文件(1999–2020)
软件作者: 斯图亚特·萨瑟兰
相关软件: VPI;电源保护;卡米…
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

ARENA公司

引用于9份文件(2002–2018)
软件作者: 罗克韦尔自动化公司
相关软件: Matlab;SPSS软件;DFBOX_IMPR…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

DOST公司

引用于9份文件(2009–2021)
软件作者: 王燕伟;杰夫·奥查德
相关软件: ——
主要字段: 欧氏空间(42-XX)的调和分析;积分变换,运算微积分(44-XX);算子理论(47-XX)…

桅杆

引用于7份文件(2008–2018)
软件作者: 冈萨雷斯港,M;JJ古铁雷斯;巴伦西亚,JC;吉咪·德雷克
相关软件: Uppaal;切达干酪;TINA…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TILOS公司

6篇文献引用(2005–2022)
软件作者: Dunlop AE鱼缸JP
相关软件: JiffyTune;兰斯洛特;Mosek…
主要字段: 组合数学(05-XX);光学、电磁理论(78-XX);运筹学,数学规划(90-XX)…

GePUP公司

8份文件引用(2016–2021)
软件作者: 张,青海
相关软件: 火星;AMRCFI;SADoRe…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);偏微分方程(35-XX)…

莫德哈特

5份文件引用(1997–2017)
软件作者: F.贾哈尼安;A.K.莫
相关软件: 酯类;Uppaal;Kronos…
主要字段: 数学逻辑与基础(03-XX);动力学系统和遍历理论(37-XX);计算机科学(68-XX)…

凯伯

引用于7份文件(2019–2023)
软件作者: 莱昂·博特罗斯;Kannwischer,Matthias J。;彼得·施瓦布
相关软件: PQM4;西克;猎鹰…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

转子

引用于7份文件(2010–2023)
软件作者: 巴辛格,J.,赞德,P。
相关软件: 作物系统;DSSAT;CPLEX…
主要字段: 运筹学、数学规划(90-XX)

changelos公司

2份文件引用(2010–2011)
软件作者: Wangler M、Beyersmann J、Schumacher M
相关软件: R;etm;状态…
主要字段: 统计学(62-XX)

DSJM公司

6篇文献引用(2013–2018)
软件作者: Hasan,M.,Hossain,S.,Steihaug,T。
相关软件: ColPack;ADOL-C;Harwell-Being稀疏矩阵集合…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

波利斯

6篇文献引用(2002–2007)
软件作者: 马西莫·巴莱尼;马西莫·孔蒂(Massimo Conti);阿尔贝托法拉利;瓦莱里奥·弗雷斯科拉;阿尔贝托Sangiovanni-Vincentelli
相关软件: 多时性;糠;MiBench…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

距离-弧度

5份文件引用(2011–2015)
软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔
相关软件: 莫德;爪哇风扇;Java+ITP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DPARSF公司

4份文件引用(2013–2022)
软件作者: Y Chao Gan,Z Yu Feng
相关软件: RegEM;插补;FieldTrip…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

IFP-C3D

5份文件引用(2008–2012)
软件作者: Bohbot,J。;吉列,N。;A.本科尼达。
相关软件: CHEMKIN公司;基瓦-2;重新塑造…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)

信息

4份文件引用(2009–2015)
软件作者: Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang
相关软件: 棱镜;APMC作业;SBML测试套件…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

茉莉花

4份文件引用(2019–2022)
软件作者: 何塞·巴塞拉·阿尔梅达(JoséBacelar Almeida)、曼努埃尔·巴博萨(Manuel Barbosa)、吉尔斯·巴特(Gilles Barthe)、阿瑟·布洛特(Arthur Blot)、本杰明·格雷戈里(Benjamin Grégoire)、文森特·拉波特(Vincent Laporte)、蒂亚戈·奥利维拉(Tiago Oli
相关软件: HACL*;EasyCrypt;曲线25519…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

McPAT公司

1份文件引用(2018)
软件作者: S.Li、J.H.Ahn、R.D.Strong、J.B.Brockman、D.M.Tullsen、N.P.Jouppi
相关软件: HPL;不锈钢;液体…
主要字段: 计算机科学(68-XX)

莫比/DC

5份文件引用(2002–2012)
软件作者: Dierks,Henning;约瑟夫·塔普肯
相关软件: Uppaal;麦克塔;SLAM…
主要字段: 计算机科学(68-XX)

音乐变压器

2份文件引用(2022–2023)
软件作者: Cheng Zhi Anna Huang、Ashish Vaswani、Jakob Uszkoreit、Noam Shazeer、Ian Simon、Curtis Hawthorne、Andrew M.Dai、Matthew D.Hoffman、Monica Dinculescu、Douglas Eck
相关软件: BERT;j符号;亚当…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

帕亚

4份文件引用(2016–2019)
软件作者: V.E.Howle、R.C.Kirby、K.Long、B.Brennan和K.Kennedy
相关软件: 特里利诺斯;特科;UFL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

季节

5份文件引用(2010–2021)
软件作者: 阿德里安·巴内特(Adrian G.Barnett)。;安妮特·多布森。
相关软件: R;nprotreg;FCM4DD…
主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);偏微分方程(35-XX)…

算法1008

4份文件引用(2020–2023)
软件作者: 何塞·玛丽亚·瓦拉斯(Jose Maria Varas Casado);罗伯·休森
相关软件: 蟒蛇;MultiZ;DNAD…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

长凳

4份文件引用(2021–2022)
软件作者: 吉姆·海斯特、戴维斯·沃恩、德鲁·施密特
相关软件: R;卢比;生存…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

加内特

1份文件引用(2014)
软件作者: N.Agarwal、T.Krishna、L.-S.Peh、N.K.Jha
相关软件: 解析;SICOSYS公司;哈西姆…
主要字段: 信息与通信理论,电路(94-XX)

计量单位

2份文件引用(2015年至2016年)
软件作者: ——
相关软件: RecInt;mpFq;LinBox…
主要字段: 数值分析(65-XX);生物学和其他自然科学(92-XX)

Koblitz曲线

4份文件引用(2017–2021)
软件作者: 托马斯·奥利维拉;洛佩斯;丹尼尔·塞万提斯·瓦兹奎斯(Daniel Cervantes-Vázquez);罗德里格斯-亨里克斯,弗朗西斯科
相关软件: 岩浆;qDSA;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);结合环与代数(16-XX)…

蒙特勒

4份文件引用(2017–2021)
软件作者: 多根·乌卢斯
相关软件: LOLA;蒙保利;天线…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

pyCPA公司

2份文件引用(2018–2019)
软件作者: Jonas Diemer、Philip Axer、Rolf Ernst
相关软件: 活性氧;actionlib;AIMMS公司
主要字段: 计算机科学(68-XX)

时代广场

3份文件引用(2015–2016)
软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet)
相关软件: 酯类;Uppaal;信号…
主要字段: 计算机科学(68-XX)

Tscope公司

在0个文档中引用
软件作者: 史蒂文斯,M。;Lammertyn,J。;Verbruggen,F。;范迪伦敦克,A。
相关软件: SPSS软件
主要字段: ——

不确定性

3份文件引用(2019–2022)
软件作者: Tennøe S公司、Halnes G公司、Einevoll GT公司
相关软件: UQLab;混沌间谍;EasyVVUQ…
主要字段: 统计学(62-XX);可变形固体力学(74-XX);流体力学(76-XX)…

VeriSIMPL公司

3份文件引用(2015–2018)
软件作者: 阿兹基亚(Adzkiya)、迪基(Dieky);张以宁;亚历山德罗·阿巴特
相关软件: 算法97;FaPAS;Maxplus…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);系统论;控制(93-XX)

CSIDH公司

3份文件引用(2019–2022)
软件作者: 阿米尔·贾拉利;阿扎德拉赫什,雷扎;科尔马尼(Kermani)、梅兰·莫扎法里(Mehran Mozaffari);大卫·饶
相关软件: CSIDH;海洋标志;鳄鱼…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

DREAM工具

2份文件引用(2006–2013)
软件作者: Gabor Madl公司
相关软件: 高科技;IF-2.0;Kronos…
主要字段: 计算机科学(68-XX)

Gpfaft公司

2份文件引用(1992–2015)
软件作者: 克莱夫·坦普顿
相关软件: DDSCAT;CCGPAK;DD分类。C++…
主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…

HybTree(混合树)

3份文件引用(2013–2024)
软件作者: 杰拉德,D。;Gibbs,H.L。;L.库巴特科。
相关软件: 巴基;NetRAX;TriLoNet…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

HyDI公司

3份文件引用(2013–2015)
软件作者: Cimatti A、Mover S、Tonetta S
相关软件: SpaceEx;数学SAT;HySAT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

3份文件引用(2016–2023)
软件作者: 科诺,C。;Fielder,D。;卵巢,Y。;Libeskind-Hadas,R。
相关软件: 埃塞特拉;西尔夫克斯
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

基克

2份文件引用(2008–2022)
软件作者: 马提亚斯·罗尔;安德烈·范霍恩;贾斯敏卡·马特夫斯卡;尼尔斯·索默;Lena Stoever;西蒙·吉塞克(Simon Giesecke);威廉·哈塞尔布林
相关软件: SynchroVis;ExploreViz;JMeter…
主要字段: 计算机科学(68-XX)

McAiT公司

1份文件引用(2013)
软件作者: 吕明松;关,南;邓清旭;余、葛;Yi,王
相关软件: 棱镜;红线;Synthia…
主要字段: 计算机科学(68-XX)

PandA公司

3份文件引用(2014–2020)
软件作者: Chuengsatiansup,Chitchanok;Michael Naehrig;里巴尔斯基,潘切;彼得·施瓦布
相关软件: 太阳神;EAGL;皮诺奇…
主要字段: 数论(11-XX);代数几何(14-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

模拟活动

2份文件引用(2009–2019)
软件作者: 迈斯沃克
相关软件: Matlab;UMDES;Simulink;…模拟链接…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

超级计算机

3份文件引用(2010–2023)
软件作者: 克里斯蒂安·温泽尔·本纳(Christian Wenzel-Benner);格拉夫、延斯
相关软件: 麦克利埃塞;mCrypton;高度…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

定时丽贝卡

3份文件引用(2016–2020)
软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。
相关软件: 丽贝卡;Uppaal;旋转…
主要字段: 计算机科学(68-XX)

通信1

2份文件引用(1997–2000)
软件作者: netlib.org网站
相关软件: MPI/MPICH;磁粉探伤
主要字段: 计算机科学(68-XX)

DAOmap公司

2份文件引用(2009–2018)
软件作者: 陈,D.,丛,J
相关软件: 液体;RevKit版本
主要字段: 计算机科学(68-XX);量子理论(81-XX)

D匹配

2份文件引用(2020)
软件作者: 刘浩鹏、李光浦、杰弗里·卢克曼、李嘉欣、陆珊、哈里亚迪·S·古纳维、陈田
相关软件: dBug;SAMC;米哈…
主要字段: 计算机科学(68-XX)

场效应晶体管

2份文件引用(1980–1982)
软件作者: D.英格尔斯。
相关软件: ——
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

佐治亚州

2份文件引用(2002)
软件作者: S.罗宾斯
相关软件: GeoWin;FAUST;凯特林…
主要字段: 计算机科学(68-XX)

modENCODE(模式编码)

2份文件引用(2017)
软件作者: Gerstein MB、Lu ZJ、Van Nostrand EL等人
相关软件: BED工具;肌肉;ClustalW…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

蒙太奇

在0个文档中引用
软件作者: 约瑟夫·雅各布(Joseph C.Jacob)、丹尼尔·卡茨(Daniel S.Katz)、G.布鲁斯·贝里曼(G.Bruce Berriman)、约翰·古德(John Good)、阿纳斯塔西娅·莱蒂(Anastasia C.Laity)、伊瓦·迪尔曼(Ewa Deelman)、卡尔·凯塞尔曼(Carl Kesselman)
相关软件: 大西洋制造商;飞马座;咯咯笑
主要字段: ——

黑夜

在0个文档中引用
软件作者: 让·卡莱塔;斯特凡·埃弗特;乌尔里希·海德;乔纳森·基尔古尔;朱迪·罗伯逊;霍尔格·沃曼
相关软件: 4.5条
主要字段: ——

部分

2份文件引用(2001–2006)
软件作者: 购买,美国。;R.H.斯隆。
相关软件: Matlab;高科技;阿达95
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

佩伽斯

2份文件引用(2014年-2023年)
软件作者: 实时工作
相关软件: COINC公司;南希;DiscoDNC…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PolyRandGrpah公司

2份文件引用(2018–2022)
软件作者: 伊凡·克里文
相关软件: github
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

ProTraS公司

2份文件引用(2020)
软件作者: 谢尔盖·纪尧姆;弗雷德里克·罗斯
相关软件: k-均值++;FLANN;格拉克勒斯…
主要字段: 统计学(62-XX)

斯马卡

1份文件引用(2017)
软件作者: 阿明·比尔(Armin Biere);Jens Knoop;劳拉·科夫亚茨(Laura Kov'acs);雅各布兹维奇梅尔
相关软件: r-TuBound;STP;小泽…
主要字段: 计算机科学(68-XX)

STICK(斗杆)

2份文件引用(2015–2018)
软件作者: 哈维尔·拉各尔;莱亚德·本诺曼
相关软件: 蜘蛛侠
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

TASS公司

1份文件引用(2013)
软件作者: 潘敏雪;卜、雷;李宣东
相关软件: HyDI;数学SAT;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

温度氧气

2份文件引用(2019–2020)
软件作者: 爱德华兹,RT;霍布斯,英国;RN曼彻斯特
相关软件: 反弹
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);粒子力学与系统(70-XX)…

tictoc公司

2份文件引用(2022)
软件作者: 谢尔盖·伊兹拉列夫
相关软件: R;彩虹;fda(R)…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

推特NaCl

2份文件引用(2015–2018)
软件作者: 丹尼尔·伯恩斯坦。;范加斯特尔(Bernard van Gastel);卫斯理·詹森;坦贾·兰格;施瓦布(Peter Schwabe);斯梅特泽斯,沙克
相关软件: 基岩;VST-Floyd;冲锋…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

算法1005

1份文件引用(2020)
软件作者: 克里斯特詹·乔纳松(Kristjan Jonasson);Sigurdsson,Sven;Yngvason,Hordur Freyr;拉格纳松,佩图尔·奥尔里;梅尔斯特德,鲍尔
相关软件: 算法878;显示模块;ADiGator…
主要字段: 数值分析(65-XX)

算法1010

1份文件引用(2020)
软件作者: 阿尔贝托·贾科莫(Alberto Giacomo),奥雷拉纳(Orellana);克里斯蒂亚诺·德·米歇尔
相关软件: 算法493;算法954;DLMF公司
主要字段: 数值分析(65-XX)

爱丽丝

1份文件引用(1997)
软件作者: 多龙·泽尔伯格
相关软件: ——
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)

allesfitter公司

在0个文档中引用
软件作者: 马西米利安·纽特尔(Maximilian N.Günther),坦苏·戴兰(Tansu Daylan)
相关软件: K2SC;主持人;斯特拉…
主要字段: ——

ANSLAB公司

在0个文档中引用
软件作者: Blechert J.、Peyk P.、Liedlgruber M.、Wilhelm F.H。
相关软件: 物理溶解;gHRV;cvxEDA…
主要字段: ——

ApNet公司

1份文件引用(2019)
软件作者: Soroush Bateni;刘聪(音)
相关软件: 阿波罗;PredJoule;AUTOSAR…
主要字段: 计算机科学(68-XX)

AXI公司

1份文件引用(2022)
软件作者: 安德烈亚斯·库思(Andreas Kurth);沃尔夫冈·罗宁格;托马斯·本茨;马修斯·卡瓦尔坎特;Fabian Schuiki;弗洛里安·扎鲁巴;卢卡·贝尼尼
相关软件: 火箭芯片;Open2C;OpenPiton公司
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件