×

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

尼姆巴斯

68篇文献引用(1993–2023)
软件作者: Miettinen K。;梅克尔。
相关软件: IND-NIMBUS公司;帕累托导航器;NBI…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

MPTP 0.2

55份文件引用(2006–2021)
软件作者: 约瑟夫·乌尔班
相关软件: 米扎尔;吸血鬼;E定理证明…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

WinGULF公司

27篇文献引用(1999–2023)
软件作者: 埃里克·巴贾利诺夫。
相关软件: GloptiPoly;塞杜米;YALMIP…
主要字段: 变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

nbp匹配

25篇文献引用(2012–2023)
软件作者: 卢波;Robert Greevy;Xu,Xinyi;科尔·贝克
相关软件: DOS;optmatch;精细平衡…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

特拉沃斯

15篇文献引用(2007–2022)
软件作者: W.T.Luke Teacy、Jigar Patel、Nicholas R.Jennings、Michael Luck
相关软件: RDF2vec;JGraphT;算法97…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

LARVA公司

8份文件引用(2012–2022)
软件作者: 科伦坡C、佩斯GJ、施耐德G
相关软件: 体育场;LOLA;Java-MOP…
主要字段: 计算机科学(68-XX)

守护者

5份文件引用(1997–2021)
软件作者: 安德烈亚斯·多尔兹曼;托马斯·斯特姆
相关软件: REDLOG;QEPCAD;TDDS…
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);常微分方程(34-XX)…

G空间

3份文件引用(2015–2022)
软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal
相关软件: CUDA;GKLEE;GPU验证…
主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

NL认证

4份文件引用(2014–2017)
软件作者: 维克托·马格伦
相关软件: OCaml;Coq;索尔利亚…
主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…

NOWPAC公司

3份文件引用(2017–2019)
软件作者: F.Augustin、Y.M.Marzouk
相关软件: CUTEst公司;BOBYQA公司;野马…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

重新访问mpconditions

3份文件引用(2018–2022)
软件作者: 马达尼(Madani,Mehdi);马修·范·维夫
相关软件: CPLEX;古罗比;GitHub…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

购买测试

2份文件引用(2021–2023)
软件作者: Brice Ozenne、Julien Peron
相关软件: cmprsk;环境;WINS公司
主要字段: 统计学(62-XX)

CR1模块

2份文件引用(2023)
软件作者: Ingeman-Nielsen,T。;F.鲍姆加特纳。
相关软件: EMDPLER公司;DLMF;OWF…
主要字段: 特殊功能(33-XX);近似和展开(41-XX);数值分析(65-XX)…

FactorialSeriesTools工具

2份文件引用(2018–2021)
软件作者: 穆雷·A·巴卡图。;托马斯·克鲁索(Thomas Cluzeau);卡罗尔·巴查
相关软件: 枫树;伪线性系统
主要字段: 特殊功能(33-XX);差分方程和函数方程(39-XX);计算机科学(68-XX)

拥抱

2份文件引用(1997–2006)
软件作者: ——
相关软件: 哈斯克尔;TBAG;ActiveVRML…
主要字段: 计算机科学(68-XX)

多种族

1份文件引用(2017)
软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster)
相关软件: 螺纹消毒剂;CDS检查器;ktsan…
主要字段: 计算机科学(68-XX)

PCAV公司

1份文件引用(2005)
软件作者: Choi、Hyunsang;Lee,Heejo先生
相关软件: 动态记录仪;SaM;Nfdump…
主要字段: 计算机科学(68-XX)

PsN-工具包

在0个文档中引用
软件作者: Lars Lindbom、Pontus Pihlgren、Niclas Jonsson
相关软件: ——
主要字段: ——

维恩图

1份文件引用(2015)
软件作者: 陈汉波;保罗·布特罗斯(Paul C.Boutros)。
相关软件: PICS;核子模拟物;PuFFIN…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

BPSim公司++

1份文件引用(2006)
软件作者: 努诺州梅尔昂;迈克尔·皮德
相关软件: C++Builder;成本;Simkit…
主要字段: 运筹学、数学规划(90-XX)

CheapBFT公司

1份文件引用(2020)
软件作者: Rüdiger Kapiza、Johannes Behl、Christian Cachin、Tobias Distler、Simon Kuhnle、Seyed Vahid Mohammadi、Wolfgang Schröder
相关软件: MS SQL Server;阿帕奇·卡夫卡;MySQL…
主要字段: 计算机科学(68-XX)

雪根

在0个文档中引用
软件作者: 黄玉霄、马彦
相关软件: 阿达欣;MWMOTE公司;SMOTE…
主要字段: ——

Cobol变压器

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

表面接触

在0个文档中引用
软件作者: Finlay Campbell、Thibaut Jombart、Nistara Randhawa、Bertrand Sudre、副总裁Nagraj、Thomas Crellen、Zian N.Kamvar
相关软件: 抗生素R;R工作室;ggplot2…
主要字段: ——

gfoRmula公司

在0个文档中引用
软件作者: 维多利亚·林;肖恩·麦格拉思(Sean McGrath);张子璐;罗杰·洛根(Roger W.Logan);露西娅·佩蒂托(Lucia C.Petito);M.A.Hernán;J.G.杨
相关软件: ltmle;GFORMULA;truncreg…
主要字段: ——

输入。90层

1份文件引用(2017)
软件作者: A.J.斯通
相关软件: TROVE公司;GAIN-MPI;CUBLAS…
主要字段: 量子理论(81-XX)

IPscatt公司

1份文件引用(2019)
软件作者: 弗洛里安·比格尔;卡米尔·卡齐米尔斯基(Kamil S.Kazimierski)。;阿明·莱克莱特
相关软件: Matlab公司
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX)

长QDA

1份文件引用(2010)
软件作者: 马雷克·科尔曼
相关软件: nlme;classGraph;Ryacas…
主要字段: 统计学(62-XX)

节点-ffi

1份文件引用(2017)
软件作者: 北卡罗来纳州拉吉利奇。
相关软件: FlowFox;JSFlow;WebKit…
主要字段: 计算机科学(68-XX)

爆发工具

在0个文档中引用
软件作者: 黑客小组(按字母顺序排列:大卫·阿南森、马克·巴奎林、保罗·伯雷尔、西蒙·考切梅斯、安东·卡马乔、卡罗琳·科利恩、安妮·科里、泽维尔·迪德洛特、肯·伊姆斯、克里斯托夫·弗雷泽、西蒙·弗罗斯特、尼尔·亨斯、约瑟夫·胡格斯、蒂鲍特·琼巴特、卢拉·奥帕托夫斯基、奥利弗·拉特曼、塞缪尔·索比兰德、马克·苏查德、雅科·沃林加、罗尔夫·伊普马
相关软件: R;MGLM;结构更改…
主要字段: ——

次一致性

1份文件引用(2018年)
软件作者: 安德斯·施利奇特克鲁尔(Anders Schlichtkrull);约根·维拉德森
相关软件: github;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SJL公司

1份文件引用(2015)
软件作者: 莫提卡,克里斯蒂安;冯·汉克斯利登,莱因哈德
相关软件: 酯类;卢斯特
主要字段: 计算机科学(68-XX)

在0个文档中引用
软件作者: 彼得·迈斯纳
相关软件: uniqtag;字符串;字符串列表…
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件