×

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

全球野生动物组织

186篇文献引用(2014–2024)
软件作者: 米尔贾利利,S。;米尔贾利利,S.M。;A.刘易斯。
相关软件: WOA;GSA;SSA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

欧米茄

61篇文献引用(2001–2023)
软件作者: 乔治·安德鲁斯(George E.Andrews)。;彼得·保罗;阿克塞尔里斯
相关软件: 组织环境信息系统;LattE;数学…
主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…

埃拉托

引用于40篇文献(1979–2022)
软件作者: Gruber,R。;Troyon,F。;伯杰,D。;伯纳德,L.C。;罗塞特,S。;Schreiber,R。;科纳,W。;施耐德,W。;罗伯茨,K.V。
相关软件: XTOR;奶酪;GATO…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

欧米茄

32篇文献引用(1997–2016)
软件作者: 曼弗雷德·科伯;理论博物馆;西克曼,J。;Benzmüller,C。;菲德勒,A。;Meier,A。;Pollet,M。
相关软件: Coq;陷阱;OTTER…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

阿利亚

引用于29份文件(2013–2022)
软件作者: 欧文,H。;Houzeaux,G。;Samaniego,C。;莱斯基,A.C。;Vázquez,M。
相关软件: METIS公司;预CICE;测试…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

加罗

17篇文献引用(2000–2011)
软件作者: 范德霍克,W。;Meyer,J.-J.Ch。;范·沙根,J.W。
相关软件: AgentSpeak;3APL;METATEM…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

LiQuor公司

19份文件引用(2007–2019)
软件作者: ——
相关软件: 棱镜;MRMC;狂犬病…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

欧米茄

10篇文献引用(2001–2020)
软件作者: 埃文·罗瑟(Evan Rosser);韦恩·凯利;比尔·普格(Bill Pugh);Dave Wonnacott;塔蒂亚娜·施佩斯曼;瓦迪姆·马斯洛夫
相关软件: isl;阿加莎;莎莎…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

FaIMS公司

12份文件引用(2012–2023)
软件作者: 圣埃芬尼Chaillat;乔治·比罗斯
相关软件: LSQR;PyTorch;凯利…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);积分方程(45-XX)…

HOL-Omega餐厅

引用于9份文件(2009–2019)
软件作者: 彼得·霍米埃(Peter V.Homeier)。
相关软件: HOL;伊莎贝尔;密码…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

克莱纳代数

引用于9份文件(2015年至2022年)
软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。
相关软件: 存档正式证据;伊莎贝尔·霍尔;大锤…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

欧米茄-ANTS

引用于9份文件(2001年至2008年)
软件作者: 克里斯托夫·本兹穆勒;沃尔克·索尔格
相关软件: 欧米茄;LOUI;陷阱…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

欧米伽特

6篇文献引用(1999–2014)
软件作者: 圣殿朗D
相关软件: R;HYDRA;GGobi…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

德拉格

引用于7份文件(2017–2021)
软件作者: 米勒,大卫;所罗门·西克特
相关软件: SPOT;猫头鹰;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

目标

6篇文献引用(2009–2015)
软件作者: Tsay,Y.-K.,Chen,Y.-F.,Tsai,M.-H.,Wu,K.-N.,Chan,W.C。
相关软件: 自旋蛋白;LTL2BA;Matlab…
主要字段: 计算机科学(68-XX)

算法917

6篇文献引用(2012–2022)
软件作者: 劳伦斯,皮尔斯·W。;罗伯特·M·科尔利斯(Robert M.Corless)。;大卫·J·杰弗里。
相关软件: 算法443;兰伯特W;仲裁…
主要字段: 复变量函数(30-XX);特殊功能(33-XX);数值分析(65-XX)…

欧米茄-MKRP

5份文件引用(1994–1999)
软件作者: 黄晓荣;曼弗雷德·科伯(Manfred Kerber);迈克尔·科尔哈斯(Michael Kohlhase);艾丽卡·梅利斯;Dan Nesmith;Jörn Richts;约格·西克曼
相关软件: 谚语;水獭;数字(amp;N)…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

1毫升

4份文件引用(2015–2018)
软件作者: 安德烈亚斯·罗斯伯格
相关软件: MixML;HMap;多蒂…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BAC优先

3份文件引用(2012–2018)
软件作者: 丹尼斯·塔尔博特(Denis Talbot)、列斐伏尔(Generive Lefebvre)、朱利·阿瑟顿(Juli Atherton)
相关软件: R(右)
主要字段: 统计学(62-XX)

欧米茄+

3份文件引用(2010–2022)
软件作者: 陈,C。
相关软件: SPOT;山核桃;GitHub…
主要字段: 凸和离散几何(52-XX);计算机科学(68-XX)

OmegaThreads公司

3份文件引用(2021–2022)
软件作者: 哈立德,马哈茂德;马吉德·扎马尼
相关软件: p面;SCOTS;条纹…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

Plat-Omega平台

3份文件引用(2007–2019)
软件作者: 马克·瓦格纳(Marc Wagner);Serge Autexier;克里斯托夫·本兹穆勒
相关软件: 乳胶;OMDoc;MMTTeX…
主要字段: 计算机科学(68-XX)

CHANDRAS公司

2份文件引用(2013–2015)
软件作者: A.贾布隆斯基。
相关软件: CHANDRAS_MIX频道
主要字段: 数值分析(65-XX);统计力学,物质结构(82-XX)

MCBC公司

2份文件引用(2010年至2015年)
软件作者: Bernie D.Shizgal。;劳夫·德里迪
相关软件: OPQ;KINPACK;枫树
主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)

mmaq闪亮

在0个文档中引用
软件作者: Adithi R.Upadhya、Pratyush Agrawal、Sreekanth Vakacherla、Meenakshi Kushwaha
相关软件: rtimopem;闪亮的;R、 …
主要字段: ——

MOTE公司

在0个文档中引用
软件作者: Erin M.Buchanan、Amber M Gillenwaters、John E.Scofield、K.D.Valentine
相关软件: MBESS;R;效应大小…
主要字段: ——

欧米茄

2份文件引用(2001–2007)
软件作者: V.P.Likhachev、J.D.T.Arruda-Neto、M.N.Martins、F.Garcia、J.Mesa、O.Rodriguez、V.B.Shostak、I.Evseev、S.A.Paschuk、H.R.Schelin、V.V.Denyak
相关软件: ——
主要字段: 组合数学(05-XX);数论(11-XX);统计力学,物质结构(82-XX)

斯克拉索马加

1份文件引用(2022)
软件作者: 约翰·休斯
相关软件: 垃圾邮件;数字派生;mcmcse…
主要字段: 统计学(62-XX)

UCLDW公司

2份文件引用(1998–2011)
软件作者: W.艾斯纳。
相关软件: RMATRX1;JAJOM公司
主要字段: 量子理论(81-XX)

维萨德

2份文件引用(2015–2018)
软件作者: J.J.麦克法兰
相关软件: 克雷格;LSQR(LSQR)
主要字段: 光学、电磁理论(78-XX);统计力学,物质结构(82-XX)

阿拉伯伊斯兰酋长国

1份文件引用(2020)
软件作者: 李志勇;唐婷婷;刘、余;埃利亚斯·阿孔杜利斯(Elias J.G.Arcondoulis)。;杨延年
相关软件: 澳大利亚统计局
主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)

covcomp公司

1份文件引用(2022)
软件作者: 卡蒂克·瓦格马尔
相关软件: R;github;F空间
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);积分方程(45-XX);算子理论(47-XX)…

林迪奥芬图斯.txt

1份文件引用(2017)
软件作者: 多伦·齐尔伯格
相关软件: 组织环境信息系统
主要字段: 计算机科学(68-XX)

ltl3电话

1份文件引用(2020)
软件作者: 弗兰蒂舍克·布拉胡德克;少校,朱拉吉;斯特雷切克,Jan
相关软件: 德拉格;猫头鹰;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

欧米茄++

1份文件引用(2015)
软件作者: 阿桑卡亚·夏尔马;王胜毅;安德烈亚·科斯蒂亚;阿奎那·霍伯;秦伟彦
相关软件: HIP;伊莎贝尔·霍尔;Coq公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

欧米茄.jl

在0个文档中引用
软件作者: 塔瓦雷斯Z
相关软件: SOSS.jl;图灵;PyTorch…
主要字段: ——

OmegaPrimality公司

1份文件引用(2015)
软件作者: J.I.加西亚-加西亚;A.维格伦·特诺里奥
相关软件: 数字gps
主要字段: 交换代数(13-XX);群论与推广(20-XX)

PLSMC公司

1份文件引用(2015)
软件作者: 庞涛;段振华;刘晓芳
相关软件: CUDD;NuSMV公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

口吃等效性

1份文件引用(2018)
软件作者: 斯蒂芬·默兹
相关软件: 精炼一元;必要的改进;Gabow SCC…
主要字段: 计算机科学(68-XX)

VERIMAG IFx公司

1份文件引用(2011)
软件作者: IRIT,VERIMAG公司
相关软件: 格拉夫维兹
主要字段: 计算机科学(68-XX)

赖特·奥米加

1份文件引用(2019)
软件作者: A.D.霍奇勒
相关软件: 兰伯特W;CRAN;兰伯特…
主要字段: 数值分析(65-XX);生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件