SPSS软件 546份文件引用(1974–2024) 软件作者: IBM;诺曼·H·聂;C.哈德莱船体 相关软件: SAS;R;状态… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
MINL库 109篇文献引用(2002–2023) 软件作者: Michael R.Bussieck。;阿恩·斯托尔伯格(Arne Stolbjerg Drud);亚历山大·米罗斯 相关软件: SCIP;Ipopt;BARON… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
AGG公司 引用于71份文件(1994–2023) 软件作者: 加布里埃尔·坦泽尔 相关软件: 沟槽;进度;AToM3… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
GTM公司 34份文件引用(2000–2023) 软件作者: CM主教;斯文森,M。;CK威廉姆斯 相关软件: UCI-ml;t-SNE;ElemStatLearn… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
沟槽 在48份文件中引用(2004–2023) 软件作者: Kastenberg,H.,Rensink,A。 相关软件: AGG;自旋蛋白;GrGen… 主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
天文望远镜 5份文件引用(2018–2023) 软件作者: T.P.Robitaille、E.J.Tollerud等人。 相关软件: 蟒蛇;数字Py;Matplotlib… 主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)…
CiaoPP公司 51份文件中引用(1999–2022) 软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件: Ciao;SICStus公司;汞… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
基础知识 43篇文献引用(2011–2023) 软件作者: 罗伯特·布雷顿;阿兰·米什琴科 相关软件: MiniSat;爱格;z3… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
Pc获取 46篇文献引用(2000–2021) 软件作者: Perez-Amaral,Teodosio;Giampiero M.Gallo。;怀特,哈尔伯特 相关软件: PcGive;公牛;ElemStatLearn… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
低碳所 33篇文献引用(2016–2023) 软件作者: Laurent Dinh、David Krueger、Yoshua Bengio 相关软件: 亚当;辉光;火炬差异… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
A至M3 18篇文献引用(2002–2021) 软件作者: 胡安·德·拉腊(Juan de Lara);汉斯·旺格鲁 相关软件: AGG;VIATRA2;进度… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
DACTL公司 28篇文献引用(1987–2015) 软件作者: John R.W.Glauert、Richard Kenneway、George A.Papadopoulos、Ronan Sleep 相关软件: 迭戈;进度;蒙斯特… 主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…
ATL公司 12份文件引用(2008年至2021年) 软件作者: 弗莱德里克·尤厄(Frédéric Jouault);弗雷迪·阿利莱尔;让·贝齐文;伊万·库特夫 相关软件: HOL-OCL;UML2合金;AGG… 主要字段: 数理逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
FSDA公司 23篇文献引用(2013–2022) 软件作者: Riani M、Perrotta D、Torti F 相关软件: robustbase;TCLUST;mclust… 主要字段: 统计学(62-XX)
变身 23篇文献引用(2012–2023) 软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔 相关软件: AGG;沟槽;GrGen… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
打开AD/F 23篇文献引用(2007–2022) 软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);希尔,克里斯;卡尔·温施 相关软件: 锥体;ADIFR;ADOL-C… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…
巴斯塔 21篇文献引用(2013–2023) 软件作者: Fryzlewicz,P。;Rao,S.Subba 相关软件: wbs;R;克兰… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
多时性 在11份文件中引用(2004–2016) 软件作者: INRIA公司;Talpin,J.-P.、Le Guernic,P.、Shukla,S.K.、Gupta,R.K.、Doucet,F。 相关软件: 酯类;卢斯特;托勒密… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
VPM公司 4份文件引用(2005–2007) 软件作者: 达尼尔·瓦罗(Dániel Varró),安德拉斯·帕塔里察(András Pataricza) 相关软件: VIATRA2;进度;AGG… 主要字段: 计算机科学(68-XX)
GPS提示 7份文件引用(2014–2022) 软件作者: Searson DP、Leahy DE、Willis MJ 相关软件: 奥维托;Scikit;Matlab… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);可变形固体力学(74-XX)…
ITS工具 10篇文献引用(2019年-2023年) 软件作者: Yann Thierry-Mieg公司 相关软件: TINA;LTSmin公司;TAPAAL… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
时刻2 9份文件引用(2010–2016) 软件作者: 阿图尔·博罗纳特;彼得·科萨巴·奥尔韦茨基 相关软件: 莫德;时间点/时间点;托勒密… 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
DICTRA公司 8份文件引用(2005–2019) 软件作者: 安妮卡·博根斯塔姆;拉尔斯·霍格伦德;约翰·奥格伦;安德斯·恩格斯特罗姆(Anders Engström);JO Andersson;海兰德,T;施,P;桑德曼,B 相关软件: PANDAT公司;Matplotlib;数字标识… 主要字段: 统计学(62-XX);可变形固体力学(74-XX);流体力学(76-XX)…
莫夫隆 1份文件引用(2006) 软件作者: Amelunxen,C.、Königs,A.、Rötschke,T.、Schürr 相关软件: 聚四氟乙烯;进度;AGG… 主要字段: 计算机科学(68-XX)
网络2网络 6篇文献引用(2019年-2023年) 软件作者: Tianqi Chen、Ian Goodfellow、Jonathon Shlens 相关软件: ImageNet;AlexNet公司;CIFAR… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
rcosmo公司 7份文件引用(2019年至2024年) 软件作者: 丹尼尔·弗莱尔(Daniel Fryer)、安德烈·奥伦科(Andriy Olenko) 相关软件: Healpix;R;DLMF… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
DryadLINQ公司 4份文件引用(2012–2018) 软件作者: Yu,Y。;Isard,M。;费特利,D.等人 相关软件: MapReduce;Dryad;Hadoop… 主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);统计力学,物质结构(82-XX)
j现实 6篇文献引用(2006–2017) 软件作者: Gunn,C.,Hoffmann,T.,Schmies,M.,Weissmann,S 相关软件: 多品牌;灰姑娘;PovRay… 主要字段: 代数几何(14-XX);几何(51-XX);凸和离散几何(52-XX)…
ARAP公司++ 6篇文献引用(2018–2022) 软件作者: Z.Wang、Z.-x.Luo、J.-l.Zhang、E.Saucan 相关软件: ABF++;斯坦福三维扫描库;LargeScaleBD… 主要字段: 变分法与最优控制;优化(49-XX);凸和离散几何(52-XX);数值分析(65-XX)…
山核桃 6篇文献引用(1996–2021) 软件作者: 胡萝卜,路易吉;梅勒,弗兰诺;Mango Furnari,马里奥;雷娜塔·纳波利塔诺 相关软件: CANv2;PYR;OpenCAL… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
TPtool公司 6篇文献引用(2014–2017) 软件作者: 萨博尔斯·纳吉;佐尔坦·佩特雷斯;彼得·巴拉尼 相关软件: Qhull;YALMIP;SDPT3… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
地理系统BRNS 5份文件引用(2013–2022) 软件作者: Centler,F.、Shao,H.、De Biase,C.、Park,C.-H.、Regnier,P.、Kolditz,O.、Thullner,M。 相关软件: CrunchFlow;PHREEQC;OpenGeoSys… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
莱姆 4份文件引用(2011–2021) 软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔 相关软件: Isabelle/HOL;Coq;ACL2… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
建模工具包.jl 引用于3份文件(2022–2024) 软件作者: 马英波(Yingbo Ma)、沙什·戈达(Shashi Gowda)、兰詹·阿南塔拉曼(Ranjan Anantharaman)、克里斯·劳夫曼(Chris Laughman)、维拉尔·沙阿(Viral Shah)、克里斯·拉卡库卡斯 相关软件: 微分方程.jl;朱莉娅;KaDE… 主要字段: 结合环与代数(16-XX);常微分方程(34-XX);计算机科学(68-XX)…
PLuTo公司 5份文件引用(2012–2022) 软件作者: Bondhugula,U.、Hartono,A.、Ramanujam,J.、Sadayappan,P。 相关软件: github;CompCertTSO公司;火焰… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)
沙尔米 2份文件引用(2003–2013) 软件作者: Pelliccione,P。;因弗拉迪,P。;H.穆奇尼。 相关软件: 自旋蛋白;AUTOSAR;MARTE… 主要字段: 计算机科学(68-XX)
科塞克 引用于3份文件(2019年-2023年) 软件作者: Andrea Rau、Cathy Maugis-Rabusseau、Antoine Godicon-Baggioni 相关软件: RobRegCC;z成分;R、 … 主要字段: 统计学(62-XX);运筹学,数学编程(90-XX)
HoloGAN公司 2份文件引用(2020–2021) 软件作者: Thu Nguyen-Phuoc、Chuan Li、Lucas Theis、Christian Richardt、Yong-Liang Yang 相关软件: 亚当;PointNet;VoxNet… 主要字段: 计算机科学(68-XX)
循环.py 引用于3份文件(2016–2021) 软件作者: 安德烈亚斯·科克纳(Andreas Klöckner)、卢卡斯·威尔科克斯(Lucas C.Wilcox)、T.沃伯顿(T.Warburton) 相关软件: 交易.ii;LIBXSMM;Firedrake… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
Ocelot公司 2份文件引用(2013–2015) 软件作者: Diamos,G.F.、Kerr,A.R.、Yalamanchili,S.、Clark,N。 相关软件: CUDA;OpenCL;铬… 主要字段: 计算机科学(68-XX)
rcdt_ns分类器 引用于3份文件(2021–2023) 软件作者: 穆罕默德·什法特·拉比;尹旭旺;鲁拜亚特,阿布·哈斯纳特·穆罕默德;李世英;科卢里,苏海尔;阿尔德鲁比,阿克兰;乔纳森·尼科尔斯(Jonathan M.Nichols)。;古斯塔沃·K·罗德。 相关软件: PyTransKit;github;Scikit… 主要字段: 积分变换,运算微积分(44-XX);变分法与最优控制;优化(49-XX);统计学(62-XX)…
SiTra公司 1份文件引用(2020) 软件作者: Akehurst,D.H.,Bordbar,B.,Evans,M.J.,Howells,W.G.J.,McDonald-Maier,K.D。 相关软件: UML2合金;Z;AGG… 主要字段: 计算机科学(68-XX)
SlackIdeals公司 2份文件引用(2022–2023) 软件作者: 安东尼奥·马基亚、艾米·维贝 相关软件: 麦考利2号;2L_枚举 主要字段: 组合数学(05-XX);交换代数(13-XX);代数几何(14-XX)…
计算软件 引用于3份文件(2010年至2017年) 软件作者: Thermo-Calc软件;桑德曼,B。;Jansson,B。;J.O.安德森。 相关软件: 美国药典;Qhull;DICTRA… 主要字段: 可变形固体力学(74-XX);统计力学,物质结构(82-XX)
AToMPM公司 2份文件引用(2019年-2023年) 软件作者: 西里亚尼,E。;Vangheluwe,H。;Mannadiar,R。;Hansen,C。;Van Mierlo,S。;埃尔金,H。 相关软件: 黑色素;莫德;梅兰奇… 主要字段: 计算机科学(68-XX)
GRoundTram公司 2份文件引用(2015–2018) 软件作者: Hidaka,S.、Hu,Z.、Inaba,K.、Kato,H.、Nakano,K。 相关软件: 取消QL 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
JANOS公司 2份文件引用(2021–2022) 软件作者: 大卫·伯格曼;黄腾;菲利普·布鲁克斯;安德烈亚·洛迪;阿文德·拉古纳森(Arvind U。 相关软件: Scikit;古罗比;JuMP… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
LPMD公司 2份文件引用(2010年至2021年) 软件作者: 塞尔吉奥·戴维斯;洛约拉,克劳迪娅;费利佩·冈萨雷斯(Felipe Gonz'alez);佩拉塔,约阿库 相关软件: DL_POLY_3;发霉 主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)
MODESTO公司 2份文件引用(2020–2023) 软件作者: T.Gysi、T.Grosser、T.Hoefler 相关软件: Firedrake;ExaSlang;Petalisp… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
OpenCalphad公司 1份文件引用(2007年) 软件作者: Sundman、B、Kattner、U R、Palumbo、M、Fries、S G 相关软件: Matplotlib;SymPy;数字标识… 主要字段: 经典热力学,传热(80-XX)
PowerMethod(功率方法) 1份文件引用(2017) 软件作者: 托德·海德里克;盛燕燕;弗拉维乌·阿德里安·霍迪斯 相关软件: Mathematica;Matlab;SEPath… 主要字段: 统计学(62-XX)
SEET(搜索) 2份文件引用(2021–2023) 软件作者: 阿齐兹,B。;扎马尼,B。;Rahimi,S.K。 相关软件: 沟槽 主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)
SurVAE流量 1份文件引用(2022) 软件作者: Didrik Nielsen、Priyank Jaini、Emiel Hoogeboom、Ole Winther、Max Welling 相关软件: nflows;辉光;JAX… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
威尔士 2份文件引用(2013–2018) 软件作者: 朱塞佩·德卢卡(Giuseppe De Luca),扬·R·马格纳斯(Jan R.Magnus) 相关软件: Stata公司 主要字段: 统计学(62-XX)
ARbiascorrect公司 1份文件引用(2022) 软件作者: 瑟比·西格伦·H·。;佩德罗·G·尼古拉。;哈瓦德街 相关软件: FitAR;BootPR;itsmr… 主要字段: 统计学(62-XX)
COSMO-海军陆战队 1份文件引用(2014) 软件作者: 沃尔克、R.、W.施罗德、R.施罗德纳、E.雷纳 相关软件: WRF-Chem公司;远程;FALL3D… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);地球物理学(86-XX)
精确ODE约简.jl 1份文件引用(2024) 软件作者: 亚历山大·戴明(Alexander Demin);Elizaveta Demitraki;格勒布·波古丁 相关软件: KaDE;侵蚀;尼莫… 主要字段: 结合环与代数(16-XX);常微分方程(34-XX);生物学和其他自然科学(92-XX)
F网络 1份文件引用(2023) 软件作者: 詹姆斯·利·托普、约书亚·安斯利、伊利亚·埃克斯坦、圣地亚哥·昂塔农 相关软件: 变压器;ELECTRA公司;GPT-3… 主要字段: 统计学(62-XX);计算机科学(68-XX)
对于OpenCL 在0个文档中引用 软件作者: Matthew J.Sottile;克雷格·拉斯穆森(Craig E Rasmussen);韦恩·韦塞洛(Wayne N.Weseloh);罗伯特·罗比(Robert W.Robey);丹尼尔·昆兰;杰弗里·奥弗贝 相关软件: —— 主要字段: ——
弗雷格尔 1份文件引用(2022) 软件作者: 岩崎、秀霞;肯托州埃莫托;森田、秋叶;松崎,Kiminori;胡镇江 相关软件: SympleGraph;美人鱼;PathGraph… 主要字段: 计算机科学(68-XX)
FSDA4R公司 1份文件引用(2018年) 软件作者: 索迪尼,E。;托多罗夫,V。;科尔贝里尼,A。;Blanco-Fernandez,A.(编辑);Gonzalez-Rodriguez,G.(编辑) 相关软件: robCompositions公司;rrcov3路;Rfwdmv… 主要字段: 统计学(62-XX)
GARCH工具箱 1份文件引用(2008) 软件作者: —— 相关软件: Matlab公司 主要字段: 概率论与随机过程(60-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
几何图形资源管理器 1份文件引用(2017) 软件作者: 迈克尔·赫维德斯滕 相关软件: OpenGL(OpenGL) 主要字段: 总体主题;藏品(00-XX);几何(51-XX);凸和离散几何(52-XX)
元模型Isabelle 1份文件引用(2016) 软件作者: Tuong神父;伯克哈特·沃尔夫 相关软件: Coq;Isabelle/HOL;密度编译器… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
泊松MT 1份文件引用(2019) 软件作者: Claudio Agostinelli、Marina Valdora、Victor J.Yohai 相关软件: 罗布比;github;校正图… 主要字段: 统计学(62-XX)
波斯顿 1份文件引用(2021) 软件作者: Sinem Sav、Apostolos Pyrgelis、Juan R.Troncoso-Pastoriza、David Froelicher、Jean-Philippe Bossuat、Joao Sa Sousa、Jean-Pierre Hubaux 相关软件: HEAN公司;拉蒂戈;密封… 主要字段: 信息与通信理论,电路(94-XX)
文本Flint 在0个文档中引用 软件作者: Tao Gui、Xiao Wang、Qi Zhang、Qin Liu、Yicheng Zou、Xin Zhou、Rui Zheng、Chong Zhang、Qinzhuo Wu、Jiaching Ye、Zechong Pang、Yongxin Zhang、Zhengyan Li、Ruotian Ma、Zichu Fei、Ruijian Cai、Jun Zhao、Xinwu Hu、Zhiheng Yan、Yiding Tan、Yuan Bian、Zhua Liu、Bolin Zhu、Shan Qin、Xiaoyu Xing、Jinlan Fu、Yue Zhang、Minlong Peng,郑晓庆、周亚谦、魏忠玉、邱喜鹏、黄宣景 相关软件: ELECTRA公司;spaCy;文本攻击… 主要字段: ——