×

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

CGAL公司

417份文件引用(2000–2024)
软件作者: CGAL编辑委员会
相关软件: 莱达;二维三角剖分;三角形…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

人工神经网络

36篇文献引用(2001–2023)
软件作者: David M.Mount;苏尼尔·阿里亚
相关软件: UCI-ml;CGAL;间隙…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

开花IV

37篇文献引用(1999–2023)
软件作者: 威廉·库克;安德烈·罗赫
相关软件: 开花V;TSPLIB;DIMACS…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

ITP公司

31份文件引用(2005–2023)
软件作者: Clavel,M。;帕洛米诺,M。;A.里斯科。
相关软件: 莫德;SCC;咖啡馆…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

杰斯特纳

引用于29份文件(2002–2023)
软件作者: 大卫·沃姆;Pawel Winter;马丁·扎卡里亚森
相关软件: 斯坦利布;CPLEX;DIMACS…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);几何(51-XX)…

ASTRAL-II标准

26篇文献引用(2002–2024)
软件作者: S.Mirarab、T.Warnow
相关软件: ASTRID公司;BUCKy公司;RAxML…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

统计学工具箱

18篇文献引用(1999–2022)
软件作者: 迈斯沃克
相关软件: Matlab;麦克利埃塞;SuiteSparse…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

STXXL型

17篇文献引用(2006–2023)
软件作者: 罗曼·德门提耶夫;Lutz Kettner;彼得·桑德斯
相关软件: TPIE;MCSTL;LEDA…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

HARP(HARP)

15篇文献引用(1990–2020)
软件作者: Opacher,F。;苏恩,E
相关软件: SETHEO公司;TPTP;3TAP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

幼崽

15篇文献引用(2006–2021)
软件作者: 安德烈亚·阿斯佩蒂(Andrea Asperti);费卢奇奥·圭迪;Sacerdoti Coen,Claudio;恩里科·塔西;斯特凡诺·扎奇罗利
相关软件: 米扎尔;Coq;MML…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

变色龙蜂群

13份文件引用(2021–2024)
软件作者: 马利克·谢哈德·布雷克
相关软件: WOA;AOA;GWO…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

evtree(进化树)

10篇文献引用(2015年至2022年)
软件作者: 托马斯·格拉宾格(Thomas Grubinger)、阿奇姆·泽利斯(Achim Zeileis)、卡尔·彼得·菲佛(Karl-Peter Pfeiffer)
相关软件: rpart;R;C4.5…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

基因树

13份文件引用(2000–2019)
软件作者: 罗德里克·D·M·佩奇
相关软件: 诺顿;iGTP;DynaDup…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

阀杆hy

10篇文献引用(2011–2022)
软件作者: 劳拉·库巴特科(Laura S.Kubatko)。;布莱恩·卡斯滕斯(Bryan C.Carstens)。;Knowles,L.Lacey
相关软件: SVD四重奏;ASTRAL-II;跨骑…
主要字段: 组合数学(05-XX);统计学(62-XX);生物学和其他自然科学(92-XX)…

国内流离失所者3

引用于9份文件(2015–2020)
软件作者: 莫里斯·布鲁诺(Maurice Bruynooghe);亨德里克·布洛克(Hendrik Blockeel);博加茨,巴特;De Cat,Broes;德普特(De Pooter,Stef);约阿希姆·扬森;安东尼·拉巴雷;Ramon,Jan;马克·德内克(Marc Denecker);四川省韦尔市
相关软件: 卡环;WASP;DLV…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SNESIM公司

8份文件引用(2014–2022)
软件作者: 塞巴斯蒂安·斯特雷贝尔;克洛德·卡维利厄斯
相关软件: SGeMS;GSLIB;HOSIM…
主要字段: 统计学(62-XX);数值分析(65-XX);统计力学,物质结构(82-XX)…

c卫星

6篇文献引用(1996–2015)
软件作者: Kei Ohmura;Kazunori上田
相关软件: ManySAT;弯曲;箔条…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

BART-BMA银行

引用于7份文件(2018–2023)
软件作者: 埃尔南德斯,贝琳达;阿德里安·拉弗瑞(Adrian E.Raftery)。;史蒂芬·彭宁顿(Stephen R.Pennington)。;安德鲁·帕内尔。
相关软件: BartPy公司;R;bartMachine…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

FP增长

引用于7份文件(2013–2023)
软件作者: 克里斯蒂安·博尔盖特
相关软件: CMAR;UCI-ml;埃克拉特…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

糖囊最小化器

引用于7份文件(2020–2021)
软件作者: 马雷克·菲舍尔
相关软件: 组织环境信息系统;Mathematica;apTreeshape…
主要字段: 组合数学(05-XX);测量和集成(28-XX);生物学和其他自然科学(92-XX)

SHIELD(屏蔽)

引用于7份文件(2016–2019)
软件作者: 阿尔哈桑·凯德;格伦·古拉克(Glenn Gulak);维诺德·瓦昆塔坦
相关软件: FHEW;HElib;如果…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

DupTree(重复数据树)

5份文件引用(2010–2021)
软件作者: 安德烈·韦(AndréWehe);Mukul S.Bansal;J.Gordon Burleigh;奥利弗·尤伦斯坦
相关软件: ASTRID公司;MulRF;PhyloNet…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

HERBY公司

5份文件引用(1998–2004)
软件作者: 蒙蒂,新生儿
相关软件: 水獭;TPTP;TGTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

印章

2份文件引用(2014–2020)
软件作者: ——
相关软件: 生物优化器;游戏;变压器…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

CLPGUI公司

3份文件引用(2009–2016)
软件作者: Fages,F.、Soliman,S.、Coolen,R。
相关软件: 彼得里韦布;生物模型;元工具…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

克利姆特

5份文件引用(2002年至2011年)
软件作者: 克劳迪奥·康瓦诺
相关软件: iplots;R;SAS…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

MulRF公司

5份文件引用(2017–2021)
软件作者: Chaudhary R、Fernandez-Baca D、Burleigh JG
相关软件: RAxML;ASTRID公司;FastRFS…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

根平衡树

5份文件引用(2017–2020)
软件作者: 托比亚斯·尼普科
相关软件: 伊莎贝尔·霍尔;存档正式证据;HOL…
主要字段: 数论(11-XX);计算机科学(68-XX)

草图阅读

4份文件引用(2007–2014)
软件作者: 阿尔瓦拉多C,戴维斯R
相关软件: CALI;塔胡提;HCRF…
主要字段: 计算机科学(68-XX)

CARTopt公司

4份文件引用(2013–2017)
软件作者: 罗伯逊,B.L。;普赖斯,C.J。;里尔,M。
相关软件: minpack;HHCART;UCI毫升…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

快速RFS

4份文件引用(2017–2020)
软件作者: Vachaspati,P.、Warnow,T。
相关软件: RAxML;ASTRAL-II;跨骑…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

KDTREE公司

4份文件引用(2011–2021)
软件作者: 马修·B·犬舍
相关软件: PRMLT;Voro++;PIC-MCC…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)…

MLIC公司

4份文件引用(2021–2023)
软件作者: 德米特里·马利奥托夫(Dmitry Malioutov)、库尔迪普·S·梅尔(Kuldeep S.Meel)
相关软件: IMLI;UCI-ml;PySAT…
主要字段: 统计学(62-XX);计算机科学(68-XX)

MurTree公司

4份文件引用(2021–2023)
软件作者: Emir Demirović、Anna Lukina、Emmanuel Hebrard、Jeffrey Chan、James Bailey、Christopher Leckie、Kotagiri Ramamohanarao、Peter J.Stuckey
相关软件: GOSDT;UCI-ml;空间ML…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

工厂TFDB

2份文件引用(2016–2019)
软件作者: Jin J、Tian F、Yang DC、Meng YQ、Kong L、Luo J、Gao G
相关软件: R;sva;KLU…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

PrologCheck(序言检查)

3份文件引用(2014–2022)
软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔
相关软件: K校准仪;K工具;快速检查…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

PyDL8.5型

3份文件引用(2022)
软件作者: Aglin,G.,Nijssen,S.,Schaus,P。
相关软件: UCI-ml;GOSDT;古罗比…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

RANN公司

2份文件引用(2018–2023)
软件作者: 苏尼尔·亚里亚(Sunil Arya)、大卫·芒特(David Mount)、塞缪尔·坎普(Samuel E.Kemp)、格雷戈里·杰斐利斯(Gregory Jefferis)
相关软件: R;成分;KernSmooth…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

Gaphel公司

2份文件引用(2001年至2007年)
软件作者: 克莱尔·贝茨,康登
相关软件: PHYLIP;PAUP*;fastDNAml(快速DNAml)
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

低压断路器

3份文件引用(2005–2022)
软件作者: D.巴克。
相关软件: SVD四重奏;NetRAX;MSCquartets…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

MEGA6公司

3份文件引用(2014–2019)
软件作者: 田村光一郎;格伦·斯特彻(Glen Stecher);丹尼尔·彼得森;阿兰·菲利普西;苏迪尔·库马尔
相关软件: 结节X;2D-MH;T-咖啡…
主要字段: 生物学和其他自然科学(92-XX)

辛巴德

3份文件引用(2004–2012)
软件作者: 奥列格五世(Oleg V.Favorov)。;丹·莱德
相关软件: PASCAL挥发性有机化合物;冲浪
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

踏板

3份文件引用(2018年-2020年)
软件作者: 马克西米利安·哈斯贝克(Maximilian Haslbeck)、曼努埃尔·埃贝尔(Manuel Eberl)、托比亚斯·尼普科(Tobias Nipkow)
相关软件: 伊莎贝尔·霍尔;快速分拣成本;密度编译器…
主要字段: 计算机科学(68-XX)

自动2_Imperative_HOL

2份文件引用(2018)
软件作者: 伯华詹
相关软件: 分离逻辑;AUTO2;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

阴谋集团

2份文件引用(1997–2002)
软件作者: 亚瑟·诺曼;约翰·惠誉
相关软件: 反恐精英;gfun;COBALG公司
主要字段: 交换代数(13-XX);计算机科学(68-XX)

混凝土

2份文件引用(2018–2022)
软件作者: 朱利安·维昂
相关软件: github;STR2;Scala…
主要字段: 计算机科学(68-XX)

DICE标准

2份文件引用(2003–2004)
软件作者: Peter Zoeteweij
相关软件: ——
主要字段: 计算机科学(68-XX)

长生不老药

2份文件引用(2018–2022)
软件作者: Prountzos,D.,Manevich,R.,Pingali,K。
相关软件: PowerGraph;图X;SympleGraph…
主要字段: 计算机科学(68-XX)

翻转剪切

2份文件引用(2011–2013)
软件作者: Brinkmeyer,麦芽;Thasso Griebel;塞巴斯蒂安·B“ocker
相关软件: PAUP*;物理SIC;RAxML…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

FSInteract公司

2份文件引用(2014–2020)
软件作者: Hyun Jik Kim,Rajen D.Shah
相关软件: 亚当;沃罗诺伊;XGBoost…
主要字段: 统计学(62-XX);计算机科学(68-XX)

图形REL

1份文件引用(2014)
软件作者: 谢里夫·萨克
相关软件: CIS-X;G字符串;NeMa…
主要字段: 计算机科学(68-XX)

网络数据结构

2份文件引用(2012–2013)
软件作者: Goodrich,M.、Tamassia,R.、Zamore,E。
相关软件: jPET;ACE;BoogiePL…
主要字段: 计算机科学(68-XX)

皮斯鲁格斯

在0个文档中引用
软件作者: 索拉布·托菲吉
相关软件: 蟒蛇;DEAP;pyGOURGS公司
主要字段: ——

随机BST

2份文件引用(2018年-2020年)
软件作者: 曼纽尔·埃贝尔
相关软件: 伊莎贝尔·霍尔;密度编译器;根平衡树…
主要字段: 计算机科学(68-XX)

SoMR公司

2份文件引用(2006–2008)
软件作者: 陈世刚;尤瓦尔·沙维特
相关软件: ——
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Splay树

2份文件引用(2016–2019)
软件作者: T.尼普科。
相关软件: 存档正式证据;摊销复杂性;HOL…
主要字段: 计算机科学(68-XX)

TreeCAN公司

1份文件引用(2017)
软件作者: 伊戈尔·奥洛涅茨基;沙伊·阿维丹
相关软件: SCALP;超级补丁匹配
主要字段: 信息与通信理论,电路(94-XX)

CXL发动机

在0个文档中引用
软件作者: 卡马尔·塔哈;埃尔玛斯里
相关软件: XPath;函数
主要字段: ——

DRIMust公司

1份文件引用(2019)
软件作者: Leibovich L等人。
相关软件: 甲基化;github;亚当
主要字段: 生物学和其他自然科学(92-XX)

MiSTree公司

在0个文档中引用
软件作者: 克里希纳·奈杜
相关软件: F2PY;Scikit;数字标识…
主要字段: ——

OSDT公司

1份文件引用(2022)
软件作者: 胡西阳、辛西娅·鲁丁、玛戈·萨尔茨
相关软件: 埃克拉特;PyDL8.5;伊斯兰解放军…
主要字段: 运筹学、数学规划(90-XX)

噬菌体标记

1份文件引用(2017)
软件作者: 福茨,D.E。
相关软件: iPTM-mLys;iLoc-Virus病毒;病毒定位…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

pyGOURGS公司

在0个文档中引用
软件作者: 索拉布·托菲吉
相关软件: PySRURGS公司;DEAP;蟒蛇
主要字段: ——

Pylogeny公司

在0个文档中引用
软件作者: 亚历山大·萨法特利​; 克里斯蒂安·布劳因
相关软件: 生物物理;FastTree;scikit-bio…
主要字段: ——

快速多边形查找

在0个文档中引用
软件作者: 马达夫·库马尔·马库斯·洛彻
相关软件: R;ggplot2;epiR…
主要字段: ——

RAxML-NG公司

1份文件引用(2021)
软件作者: Alexey M Kozlov、Diego Darriba、TomášFlouri、Benoit Morel、Alexandros Stamatakis
相关软件: 贝叶斯先生;野兽;treeOclock树
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

午睡

1份文件引用(2019)
软件作者: Vachaspati,P.,Warnow,T。
相关软件: MURPAR公司;ASTRID公司;巴基…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

StarFinder公司

1份文件引用(2019)
软件作者: Pham,Long H。;Le,Quang Loc;Phan,Quoc-Sang;孙军;秦胜超
相关软件: JaCoCo公司;日本证券交易所;GitHub…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

字符串算法-in-c

1份文件引用(2020)
软件作者: 托马斯·梅隆德
相关软件: ——
主要字段: 计算机科学(68-XX)

斯特马特

1份文件引用(2004)
软件作者: 奈特,J。;古斯菲尔德,D。;J.斯托伊。
相关软件: 路透社;消音器
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

寿司

在0个文档中引用
软件作者: Braione P、Denaro G、Mattavelli A、Pezze
相关软件: EvoSuite;JUnit公司;缺陷4J…
主要字段: ——

SVD请求

1份文件引用(2019)
软件作者: Vachaspati,P.,Warnow,T。
相关软件: MURPAR公司;ASTRID公司;巴基…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

gbts标准

在0个文档中引用
软件作者: 韦利·W·J·梁
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件