全球野生动物组织 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)
德拉格 引用于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)
BAC优先 3份文件引用(2012–2018) 软件作者: 丹尼斯·塔尔博特(Denis Talbot)、列斐伏尔(Generive Lefebvre)、朱利·阿瑟顿(Juli Atherton) 相关软件: R(右) 主要字段: 统计学(62-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)
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份文件引用(2020) 软件作者: 李志勇;唐婷婷;刘、余;埃利亚斯·阿孔杜利斯(Elias J.G.Arcondoulis)。;杨延年 相关软件: 澳大利亚统计局 主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)
covcomp公司 1份文件引用(2022) 软件作者: 卡蒂克·瓦格马尔 相关软件: R;github;F空间 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);积分方程(45-XX);算子理论(47-XX)…
ltl3电话 1份文件引用(2020) 软件作者: 弗兰蒂舍克·布拉胡德克;少校,朱拉吉;斯特雷切克,Jan 相关软件: 德拉格;猫头鹰;LTL2BA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
欧米茄++ 1份文件引用(2015) 软件作者: 阿桑卡亚·夏尔马;王胜毅;安德烈亚·科斯蒂亚;阿奎那·霍伯;秦伟彦 相关软件: HIP;伊莎贝尔·霍尔;Coq公司 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
OmegaPrimality公司 1份文件引用(2015) 软件作者: J.I.加西亚-加西亚;A.维格伦·特诺里奥 相关软件: 数字gps 主要字段: 交换代数(13-XX);群论与推广(20-XX)