快速排序 179份文件引用(1962–2023) 软件作者: C.A.R.霍尔。;塞奇威克,R 相关软件: 查找;heapsort;算法347… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
K2(K2) 122篇文献引用(2004–2023) 软件作者: 马可·泰尔(Marco Thiel)、马门·罗曼诺(Mamen Romano)、安德烈·伯格纳(AndréBergner) 相关软件: TISEAN公司;图表;Matlab… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
世界癌症协会 54篇文献引用(2016–2023) 软件作者: Ali Sadollah、Hadi Eskandar、Ho Min Lee、Do Guen Yoo、Joong Hoon Kim 相关软件: GSA;GWO;WOA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
DeMat公司 28篇文献引用(2008–2023) 软件作者: Storn R、Price K、Neumaier A、Zandt JV 相关软件: 玉石;CEC 05;ElemStatLearn… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
自动教程 5份文件引用(2001年至2021年) 软件作者: 亚瑟·C·格雷瑟。;卢、舒兰;乔治·坦纳(George Tanner)·杰克逊(Jackson);米切尔、希瑟·海特;马修·文图拉(Mathew Ventura);安德鲁·奥尼(Andrew Olney);马克斯·路易斯。 相关软件: LIBSVM;汗学院;科姆特… 主要字段: 计算机科学(68-XX);数学教育(97-XX)
快速拉伸 31份文件引用(2008–2022) 软件作者: 美国容克。 相关软件: MiniSat;PicoSAT;葡萄糖… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
猛增 22篇文献引用(1992年-2010年) 软件作者: 凯蒂尔·桑德尔 相关软件: JDQZ;JDQR;SATZILA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
萨姆 15篇文献引用(2002–2021) 软件作者: 阿德南·达尔维什(Adnan Darwiche);基思·卡西奥 相关软件: R;学习;棱镜… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)
MizarMode(米扎尔模式) 18篇文献引用(2006–2019) 软件作者: 约瑟夫·乌尔班 相关软件: 米扎尔;MML;MoMM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
皮莫 12份文件引用(2021–2024) 软件作者: Julian Blank,Kalyanmoy Deb 相关软件: 蟒蛇;PlatEMO;数字标识… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
指数 12份文件引用(1995–2023) 软件作者: 博哈内克M 相关软件: proDEX;提示;DEXi… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
HOL零 12份文件引用(2014–2023) 软件作者: 马克·亚当斯 相关软件: Isabelle/HOL;HOL灯;HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);凸和离散几何(52-XX)…
LFLC 2000型 13份文件引用(2004–2022) 软件作者: 伊朗空军 相关软件: ETPS;果汁;模糊森林… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
太阳 8份文件引用(2011–2019) 软件作者: L.Zhang、M.H.Tong、T.K.Marks、H.Shan和G.W.Cottrell 相关软件: gbvs;盐度工具箱;抓取切割… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
i-RevNet公司 8份文件引用(2019年-2023年) 软件作者: Jörn-Henrik Jacobsen、Arnold Smeulders、Edouard Oyallon 相关软件: 低碳所;亚当;火炬差异… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
欧盟许可证 10篇文献引用(1995–2008) 软件作者: 什奥林,帕维尔;卡雷尔·塞格思 相关软件: ODEPACK;MC队列;CAP3… 主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…
Gni代码 10篇文献引用(2003–2022) 软件作者: Hairer,恩斯特;马丁·海尔 相关软件: Matlab;AUTO-07P;自动… 主要字段: 动力系统与遍历理论(37-XX);差分方程和函数方程(39-XX);数值分析(65-XX)…
RealPlan(实际计划) 引用于9份文件(2001–2008) 软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao Kombhampati;做,明B。 相关软件: 图形平面图;STAN;CPlan… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
分割 引用于9份文件(1987–2012) 软件作者: 兰德,D.W。;温特尼茨,P。;汉斯·扎森豪斯 相关软件: CANONIK公司;RADICAL(径向);diffgrob2… 主要字段: 非结合环与代数(17-XX);拓扑群,李群(22-XX);偏微分方程(35-XX)…
偏置Urn 7份文件引用(2008年至2020年) 软件作者: 阿格纳·雾 相关软件: R;partykit;Rcmdr… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
hABCDE 8份文件引用(2014–2023) 软件作者: 向万里;马寿峰;安美清 相关软件: ABC;玉石;WOA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
AI解释360 2份文件引用(2021) 软件作者: V.Arya、R.K.E.Bellamy、P.-Y.Chen、A.Dhurandhar、M.Hind、S.C.Hoffman、S.Houde、Q.V.Liao、R.Luss、A.Mojsilovic、S.Mourad、P.Pedemonte、R.Raghavendra、J.T.Richards、P.Sattigeri、K.Shanmugam、M.Singh、K.R.Varshney、D.Wei、Y.Zhang 相关软件: TensorFlow;InterpretML;不在场证明… 主要字段: 计算机科学(68-XX)
累积mm 7份文件引用(2016–2022) 软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。 相关软件: gpremeencemm;PSPLIB;npuScheduler… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
gpremeencemm公司 7份文件引用(2016–2022) 软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。 相关软件: 累积mm;PSPLIB;npuScheduler… 主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Pcoq公司 6篇文献引用(2007–2023) 软件作者: Ahmed Amerkad;伊夫·贝尔托,洛伊克·波蒂埃;劳伦斯·里多 相关软件: Coq;MMP/Geometer;GEX… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)
不在场证明解释 3份文件引用(2021–2023) 软件作者: Janis Klaise;范·卢韦伦(van Looveren),阿尔诺(Arnaud);乔瓦尼·瓦坎蒂;亚历山德鲁,可口可乐 相关软件: 托辞;AI解释360;形状… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
DR-预测 2份文件引用(2019) 软件作者: 安东尼斯·比卡基斯;君士坦丁诺·帕帕西奥多罗;格里戈里斯·安东尼奥 相关软件: DELORES公司;吐温;法律规则ML… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
快速MMD 3份文件引用(2015–2018) 软件作者: 赵骥;孟德玉(Deyu Meng) 相关软件: 能量;霍特林;Matplotlib… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
MBT公司 5份文件引用(1999–2005) 软件作者: Daelemans,W.,Zavrel,J.,Berck,P.,Gillis,S。 相关软件: 宾夕法尼亚树银行;树标记器 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
模型工作室 2份文件引用(2021–2023) 软件作者: 休伯特·巴尼基;Przemyslaw Biecek公司 相关软件: DALEX公司;H2O;解释ML… 主要字段: 统计学(62-XX);计算机科学(68-XX)
纳斯佩特 6篇文献引用(1988–2000) 软件作者: 克劳斯·舒尔茨(Klaus Schulze);科林·克莱尔。 相关软件: ODEXPERT公司;斯拉特克;NAG… 主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);统计学(62-XX)…
托辞 3份文件引用(2021–2023) 软件作者: Janis Klaise、Arnaud Van Looveren、Giovanni Vacanti、Alexandru Coca 相关软件: 不在场证明解释;形状;TensorFlow… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
第三季度 5份文件引用(1989年-2014年) 软件作者: Eric J Horowitz、Dan E Shumaker、David V Anderson 相关软件: 雅典娜;dHybrid;飞马座… 主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…
单位 4份文件引用(2005–2019) 软件作者: B.Ninness、A.Wills、A.Mills 相关软件: 系统识别工具箱;Matlab;SDPT3… 主要字段: 统计学(62-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
OntoDebug(开始调试) 4份文件引用(2018–2023) 软件作者: Schekotihin、Konstantin;Patrick Rodler;沃尔夫冈·施密德 相关软件: 颗粒;MERGEXPLAIN公司;赫密特… 主要字段: 计算机科学(68-XX)
PROC方法 4份文件引用(1996-2013) 软件作者: SAS公司 相关软件: SAS;SASmixed公司;SAS/STAT… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
BPASS公司 1份文件引用(2022) 软件作者: Eldridge,J.J.、Stanway,E.R.、Xiao,L.、McClelland,L.A.S.、Taylor,G.、Ng,M.、Greis,S.M.L.等人。 相关软件: 霍基;蟒蛇;律师套装… 主要字段: 偏微分方程(35-XX);流体力学(76-XX);量子理论(81-XX)…
crlmm公司 1份文件引用(2011) 软件作者: 罗伯特·沙尔普夫(Robert Scharpf);拉斐尔·伊里扎里;马修·里奇;贝尼尔顿·卡瓦略;英戈·鲁钦斯基 相关软件: R;基因组单核苷酸多态性;基因组工作室… 主要字段: 统计学(62-XX)
基因路径 2份文件引用(2006–2013) 软件作者: 祖潘,B。;德姆萨尔,J。;I.布拉特科。;Juvan,P。;Halter,J.A。;Kuspa,A。;G·沙尔斯基。 相关软件: KEGG;TopLog公司;太阳能 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
国际航空航天局 3份文件引用(1996–2017) 软件作者: 唐杰;李娟子;陆红军;梁邦勇;黄晓彤;王克宏 相关软件: S-CREAM;引导数据库 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
MDTri公司 3份文件引用(2017–2023) 软件作者: 彼得·格拉芙(Peter A.Graf)。;斯蒂芬·比卢普斯 相关软件: MultiMin;BOBYQA公司;野马… 主要字段: 运筹学、数学规划(90-XX)
PHRAP公司 1份文件引用(2015) 软件作者: de la Bastide,M.,McCombie,W.R。 相关软件: GMAP;BLAT;CAP3… 主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
利福西姆 2份文件引用(2018–2020) 软件作者: Maplesoft软件 相关软件: 枫树;外部 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);流体力学(76-XX)…
SkuARE公司 2份文件引用(2020–2022) 软件作者: 巴苏,金加尔;萨拉特·钱德拉(Sarat Chandra),瓦拉纳西(Varanasi);法哈德·沙克林(Farhad Shakerin);戈帕尔·古普塔 相关软件: 小队;水;ASP… 主要字段: 计算机科学(68-XX)
xPACS系统 2份文件引用(2018–2022) 软件作者: 梅格纳斯·马查(Meghanath Macha)、莱曼·阿科格鲁(Leman Akoglu) 相关软件: FlowNet;奥尔卡;darch… 主要字段: 统计学(62-XX);计算机科学(68-XX)
杏子 1份文件引用(2020年) 软件作者: 雅各布·施赖伯(Jacob Schreiber);杰弗里·比尔姆斯;威廉·斯塔福德·诺布尔 相关软件: 凯拉斯;github;Python… 主要字段: 计算机科学(68-XX)
反事实 在0个文档中引用 软件作者: 苏珊娜·丹德尔(Susanne Dandl)、安德烈亚斯·霍夫海因茨(Andreas Hofheinz)、马丁·宾德(Martin Binder)、朱塞佩·卡萨利基奥(Giuseppe Casalicchio) 相关软件: MOSMaFS;随机森林;R6… 主要字段: –
DriveML(驱动ML) 在0个文档中引用 软件作者: Sayan Putatunda、Dayananda Ubrangala、Kiran Rama、Ravi Kondapalli 相关软件: SmartML;护林员;rpart… 主要字段: –
HILDIF公司 在0个文档中引用 软件作者: 雨果·齐贝拉(Hugo Zylberajch)、皮亚瓦特·勒特维塔亚库姆乔恩(Piyawat Lertvittayakumjorn)、弗朗西丝卡·托尼(Francesca Toni) 相关软件: QANet;欧尼;SkuAD… 主要字段: –
梅利梅 1份文件引用(2021) 软件作者: 蒂亚戈·博塔里(Tiago Botari)、弗雷德里克·赫维什约(Frederik Hvilshöj)、拉斐尔·伊兹比基(Rafael Izbicki)、安德烈·卡瓦略(Andre C.P.L.F.de Carvalho) 相关软件: HHCART;RFCDE;MurTree… 主要字段: 运筹学、数学规划(90-XX)
NCIPLOT公司 1份文件引用(2022) 软件作者: J.Contreras Garcia、E.Johnson、S.Keinan、R.Chaudret、J-P Piquemal、D.Beratan、W.Yang 相关软件: 毫米克;高斯人 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);整体分析,流形分析(58-XX)…
尼罗河 在0个文档中引用 软件作者: 萨万·库马尔(Sawan Kumar),Partha Talukdar 相关软件: StructBERT;CoQA;HellaSwag… 主要字段: 数学逻辑与基础(03-XX)
PerfXplain公司 1份文件引用(2022) 软件作者: Nodira Khoussainova、Magdalena Balazinska、Dan Suciu 相关软件: DeepLog;自动诊断;TensorFlow… 主要字段: 计算机科学(68-XX)
PyLink公司 1份文件引用(2020年) 软件作者: A.M.Gierut、P.Dabrowski-Tumanski、W.Niemyska、K.C.Millett、J.I.Sulkowksa 相关软件: LassoProt;LinkProt;PyLasso… 主要字段: 流形和细胞复合体(57-XX);生物学和其他自然科学(92-XX)
向下滚动 在0个文档中引用 软件作者: 巴勃罗·罗德里格斯-桑切斯(Pablo Rodríguez-Sánchez)、埃格伯特·范内斯(Egbert H.van Nes)、马丁·谢弗(Marten Scheffer) 相关软件: R(右) 主要字段: –
SDPF_盲漆 1份文件引用(2023) 软件作者: Jenny Schmalfuss;埃里克·舍尔;赵恒;尼古拉斯·卡兰察;安德烈斯·布鲁恩(Andrés Bruhn);德米特里奥·拉巴特 相关软件: VCNet;亚当;TensorFlow公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
SHErrLoc公司 1份文件引用(2015) 软件作者: 安德鲁·迈尔斯(Andrew Myers)、张丹凤(Danfeng Zhang) 相关软件: OCaml;EasyOCaml;vZ… 主要字段: 计算机科学(68-XX)
幻灯片 1份文件引用(2023) 软件作者: 安东·比约克隆德(Anton Björklund);梅克尔,贾莫;Kai Puolamäki 相关软件: 梯度CAM;形状;ElemStatLearn… 主要字段: 计算机科学(68-XX)
平滑渐变(SmoothGrad) 在0个文档中引用 软件作者: 丹尼尔·斯迈尔科夫、尼基尔·索拉、比恩·金、费尔南达·维加斯、马丁·瓦滕伯格 相关软件: 梯度CAM;InterpretML;PyTorch… 主要字段: –
VERMEER公司 1份文件引用(2018) 软件作者: Schwartz-Narbonne,D.,Oh,C.,Schäf,M.,Wies,T。 相关软件: MiniSat;WhyLine公司;Kodkod… 主要字段: 计算机科学(68-XX)
维基Asp 1份文件引用(2022) 软件作者: Hiroaki Hayashi、Prashant Budania、Peng Wang、Chris Ackerson、Raj Neervannan、Graham Neubig 相关软件: GPT-3;Tensor2传感器;BERTScore… 主要字段: 计算机科学(68-XX)
xASP(xASP) 1份文件引用(2022) 软件作者: Trieu、Ly-Ly;Tran Cao Son;马塞洛·巴尔杜奇尼 相关软件: 中国科学院科学院;DiscASP;xclingo公司 主要字段: 计算机科学(68-XX)