×

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

DLMF公司

3806文件引用(2000–2024)
软件作者: 丹尼尔·洛泽尔(Daniel W.Lozier)。
相关软件: 数学;Matlab;OEIS…
主要字段: 特殊功能(33-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

Gecode公司

85篇文献引用(2007–2023)
软件作者: 克里斯蒂安·舒尔特(Christian Schulte),KTH皇家理工学院
相关软件: 微量锌;CPLEX;Choco…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

NESTOR公司

引用于27份文件(1985–2017)
软件作者: G.F.库珀。
相关软件: TETRAD公司;几何导师;DENDRAL…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

FSDA公司

23篇文献引用(2013–2022)
软件作者: Riani M、Perrotta D、Torti F
相关软件: robustbase;TCLUST;mclust…
主要字段: 统计学(62-XX)

HMMER公司

12份文件引用(2006–2019)
软件作者: Robert D.Finn、Jody Clements、Sean R.Eddy
相关软件: ClustalW;UniProt;肌肉…
主要字段: 总体主题;藏品(00-XX);欧氏空间(42-XX)的调和分析;统计学(62-XX)…

Lore公司

6篇文献引用(2002–2010)
软件作者: McHugh J、Abiteboul S、Goldman R、Quass D、Widom J。
相关软件: XPath;XQuery;ViST…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

奥普图纳

在15份文件中引用(2021–2023)
软件作者: 秋叶拓哉、三野昭太郎、延濑敏彦、大田武夫、小山正男
相关软件: PyTorch公司;Hyperopt;Scikit…
主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);统计学(62-XX)…

银河

7份文件引用(2009–2018)
软件作者: 贝琳达·贾丁(Belinda Giardine)、凯西·里默(Cathy Riemer)、罗斯·C·哈迪逊(Ross C.Hardison)、理查德·伯汉斯(Richard Burhans)、劳拉·埃尔尼茨基(Laura Elnitski)、普拉奇·沙阿(Prachi Shah)、张毅(Yi Zhang)、丹尼尔·布兰肯伯格(Daniel Blanken
相关软件: R;生物导体;TopHat…
主要字段: 偏微分方程(35-XX);统计学(62-XX);计算机科学(68-XX)…

布莱斯

10篇文献引用(2009–2022)
软件作者: 基思·博纳维茨(Keith Bonawitz)、维卡什·曼辛加(Vikash Mansinghka)、博·克罗宁(Beau Cronin)
相关软件: bnsoft;推断。网络;R、 …
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

PaGMO公司

6篇文献引用(2014–2023)
软件作者: Francesco Biscani、Dario Izzo、Chit Hong Yam
相关软件: PaGMO/PyGMO;SciPy;Python…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

SEPIA公司

9份文件引用(2015–2023)
软件作者: Gransden,T.、Walkinshaw,N.、Raman,R。
相关软件: E定理证明器;FEMaLeCoP;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

贝勒罗芬

8份文件引用(2017–2023)
软件作者: Nathan Fulton;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽
相关软件: 凯伊迈拉X;凯伊迈拉;ModelPlex…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

地理信息系统

6篇文献引用(2013–2022)
软件作者: 安东尼奥·克里米尼西、托比·夏普、安德鲁·布莱克
相关软件: 抓斗切割;布里斯克;效率Det…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

IND-NIMBUS公司

8份文件引用(2009–2016)
软件作者: 米提宁,K。
相关软件: 尼姆布斯;帕累托导航器;油漆…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

国际奥委会

8份文件引用(2001–2017)
软件作者: 沃杜利斯、克里斯托斯;拉斐尔·多恩;大卫·莱辛(David Lesaint);安妮·利雷特
相关软件: 本地化;易捷本地++;COMET…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

帕累托导航器

8份文件引用(2010–2021)
软件作者: 佩特里·埃斯克林恩(Petri Eskelinen);凯萨·米埃蒂宁;克拉姆罗斯(Klamroth)、凯瑟琳(Kathrin);尤西·哈卡宁
相关软件: 尼姆布斯;油漆;游戏…
主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX)

塔克

7份文件引用(2007–2012)
软件作者: 大卫·巴尔德(David Baelde);戴尔·米勒;斯诺,扎卡里
相关软件: 阿贝拉;贝德维尔;Twelf…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

DynTx体制

引用于3份文件(2018–2020)
软件作者: S.T.Holloway、E.B.Laber、K.A.Linn、B.Zhang、M.Davidian、A.A.Tsiatis
相关软件: R;q学习;DTRreg…
主要字段: 统计学(62-XX)

gLaSDI公司

6篇文献引用(2022–2023)
软件作者: 何小龙;Choi,Youngsoo;威廉·D·弗里斯。;乔纳森·贝洛夫(Jonathan L.Belof)。;陈久贤
相关软件: LaSDI;亚当;PyTorch…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

拥抱

5份文件引用(2005–2019)
软件作者: Klau,Gunnar W。;Neal Lesh;乔·马克斯(Joe Marks);迈克尔·米赞马赫
相关软件: 前88米;顶部.m;禁忌搜索
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

TSPAntSim公司

引用于3份文件(2009–2012)
软件作者: 乌尔,艾巴尔;多安·艾丁
相关软件: TSPLIB;欧洲法院;VRP…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-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)…

普赛克

5份文件引用(2013–2020)
软件作者: 圣菲省格拉汉·伦格兰德
相关软件: 伊莎贝尔;直觉;ILTP…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

CreChaidon公司

4份文件引用(2009–2022)
软件作者: 艾曼纽尔·诺尔;扬尼克·图桑
相关软件: SearchSleuth;LatDraw;爱马仕…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

国际卫星组织

引用于3份文件(2011–2017)
软件作者: Ezequiel Orbe、Carlos Areces、Gabriel Infante-López
相关软件: DPvis;ISAT-CK7;坎特拉…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

NaLIX公司

在0个文档中引用
软件作者: Li,Y.、H.Yang、H.V.Jagadish
相关软件: XSEarch;XPath;XQuery…
主要字段:

非凸Pareto导航器

4份文件引用(2019–2022)
软件作者: 马库斯·哈蒂卡宁(Markus Hartikainen);凯萨·米埃蒂宁;凯瑟琳·克拉姆罗斯
相关软件: 帕累托导航器;E-NAUTILUS公司;油漆…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

PANMIN公司

引用于3份文件(2006–2009)
软件作者: 菲奥斯(F.V.Theos)。;拉加里斯,I.E。;帕帕乔治奥,D.G。
相关软件: 梅林;函数分析器;simannf90…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PODC公司

4份文件引用(2001–2005)
软件作者: 邝海荣;比克(Lubomir F.Bic)。;迈克尔·迪伦科特(Michael B.Dillencourt)。
相关软件: NINJA公司
主要字段: 计算机科学(68-XX)

防手表

4份文件引用(2018–2021)
软件作者: 戈泽尔,查拉图斯特拉;Jakubův,简;斯蒂芬·舒尔茨(Stephan Schulz);约瑟夫·乌尔班
相关软件: E定理证明器;BliStrTune;谜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

特雷利斯

2份文件引用(2002)
软件作者: 尤兰达·吉尔;瓦伦·拉特纳卡尔
相关软件: Arc Hydro;XPath(XPath)
主要字段: 计算机科学(68-XX)

XBarnacle公司

4份文件引用(2000年至2006年)
软件作者: 迈克·杰克逊;海伦·洛;大卫·邓肯
相关软件: Nuprl;蛤;自动…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

分子网络

引用于3份文件(2015–2021)
软件作者: Mooney BL、Corrales LR、Clark AE。
相关软件: 基因排名;INGRES公司;REXX…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…

桦木

在0个文档中引用
软件作者: Zeynep Akkalyoncu Yilmaz、Shengjin Wang、Wei Yang、Haotian Zhang、Jimmy Lin
相关软件: BERT;PyGaggle;Covidex…
主要字段:

尤里卡!

1份文件引用(2002)
软件作者: 朱塞佩·曼科;克拉拉Pizzuti;多梅尼科塔利亚
相关软件:
主要字段: 计算机科学(68-XX)

女性生殖器切割

2份文件引用(2013–2016)
软件作者: A.V.洛托夫
相关软件: 豆类;ANSYS;视觉UTA…
主要字段: 总体主题;藏品(00-XX);可变形固体力学(74-XX);运筹学、数学规划(90-XX)

全球导航数据库

1份文件引用(2017)
软件作者: Chan PP,Lowe TM公司
相关软件: RDP2;PhyloBayes 3;分区查找器…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

国际MOLPE

2份文件引用(2016)
软件作者: 卡洛斯·亨格勒·安图内斯;若昂·阿尔维斯,玛丽亚;乔安·克里马科
相关软件: 视觉UTA;签证;WINPRE…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

Phast公司

2份文件引用(2017–2020)
软件作者: 周,Y。;梁,Y。;K.H.林奇。;丹尼斯,J.J。;D.S.威斯哈特。
相关软件: PHASTER公司;前置物;iPTM-mLys…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

Photosketcher软件

1份文件引用(2017)
软件作者: Eitz M、Richter R、Hildebrand K、Boubekeur T、Alexa M
相关软件: 草图2照片;属性2图像;ImageNet…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

技能

2份文件引用(1993–2000)
软件作者: Galmiche,D。;O.赫尔曼。
相关软件: 自动化;乐高;萝莉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

年战略

2份文件引用(2018–2020)
软件作者: Teixeira MC等人
相关软件: 凯格;全球麻省理工学院;BGRMI…
主要字段: 生物学和其他自然科学(92-XX)

阿兰娜

在0个文档中引用
软件作者: A.Curry、I.Papaioannou、A.Suglia、S.Agarwal、I.Shalyminov、X.Xinnuo、O.Dusek、A.Eshghi、I.Konstas、V.Rieser、O.Lemon
相关软件: TEACh;ELIZA公司;Foto法医学…
主要字段: 计算机科学(68-XX)

DiaLog公司

1份文件引用(1997)
软件作者: 尤根·埃伦斯伯格;克劳斯·辛
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

埃迪

1份文件引用(2016)
软件作者: 伯恩斯坦,M.S。;苏,B。;洪,L。;陈,J。;凯拉姆,S。;Chi、E.H.、E
相关软件: ImageNet;奥斯卡;AlexNet…
主要字段: 计算机科学(68-XX)

欧拉图

1份文件引用(2015)
软件作者: 弗朗索瓦州施瓦岑特鲁伯
相关软件: 动态记录仪;GeoGebra;eulerAPE…
主要字段: 计算机科学(68-XX)

加里

1份文件引用(2019)
软件作者: D.兹维克。
相关软件: Triplet最大切割;气体;ProCAR…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

GPLOM公司

在0个文档中引用
软件作者: Im,J.-F。;M.J.McGuffin。;梁,R。
相关软件: 导航图;戈壁;GGobi…
主要字段:

爱尔兰共和国

在0个文档中引用
软件作者: 维罗尼克·杜皮埃里斯(Veronique Dupierris);马塞龙、克利斯朵夫;马加里法院;基弗·贾奎诺德(Kieffer-Jaquinod),西尔维(Sylvie);克利斯朵夫·布鲁利
相关软件:
主要字段:

J.CP公司

1份文件引用(2002)
软件作者: 格奥尔格·林韦尔斯基
相关软件:
主要字段: 计算机科学(68-XX)

jClust公司

在0个文档中引用
软件作者: 乔治奥斯·帕夫洛普洛斯(Georgios A.Pavlopoulos)。;Moschopoulos,Charalampos N。;肖恩·霍珀(Sean D.Hooper)。;施耐德(Schneider)、莱因哈德(Reinhard);索菲亚·科西达
相关软件: 美杜莎;NeAT;缝合
主要字段:

MAPBOT公司

1份文件引用(2002)
软件作者: 李茂珍;周盛;克里斯托弗·琼斯。
相关软件: 枫叶
主要字段: 计算机科学(68-XX)

梅拉

1份文件引用(2012)
软件作者: 阿拉斯代尔·阿姆斯特朗;西蒙·福斯特(Simon Foster);乔治·斯特鲁斯
相关软件: Metis_;Waldmeister;Agda…
主要字段: 计算机科学(68-XX)

米米尔

1份文件引用(2016)
软件作者: 瓦伦丁·塔布兰;卡琳娜·邦切娃;伊恩·罗伯茨(Ian Roberts);哈米什·坎宁安
相关软件:
主要字段: 计算机科学(68-XX)

混合物

在0个文档中引用
软件作者: C.马桑、A.罗德里格斯、G.伯纳德、P.马查多
相关软件: 疯子;利比亚;Essentia…
主要字段:

多维数据集资源管理器

1份文件引用(2019)
软件作者: V.Zaccaria、G.Palermo、F.Castro、C.Silvano、G.Mariani
相关软件: 精密路径指示器;兄弟竞争;绿色…
主要字段: 计算机科学(68-XX)

NeuralQA公司

在0个文档中引用
软件作者: 维克托·迪比亚
相关软件: 桦木;RankQA;AllenNLP…
主要字段:

PubChem结构

在0个文档中引用
软件作者: 沃尔夫·迪伦菲尔德、埃文·博尔顿、斯蒂芬·布莱恩特
相关软件: PubChem PUG公司;赭石;KNIME…
主要字段:

草图绘制

在0个文档中引用
软件作者: Kashyap Todi、Daryl Weir、Antti Oulasvirta
相关软件: 引导程序.js;Django;重新绘制…
主要字段:

VIEWpoly公司

在0个文档中引用
软件作者: 克里斯蒂安·塔尼古蒂(Cristiane Taniguti)、加布里埃尔·盖斯特拉(Gabriel Gesteira)、杰金·刘(Jeekin Lau
相关软件: GWASpoly;JBrowserR;四倍体SNPMap…
主要字段:

玻璃窗

在0个文档中引用
软件作者: L.Rossetto、G.Ivan、T.Claudiu、S.Heiko
相关软件: YACS;Person_reID_baseline_pytarch(个人识别号基线查询);Caltech-UCSD鸟类…
主要字段:

CHS衬里

在0个文档中引用
软件作者: 王震;丁国辉;余忠浩;刘磊;李一雪
相关软件:
主要字段:

L1000查看器

在0个文档中引用
软件作者: A.穆萨;S.Tripathi;M.Dehmer;F.埃默特·斯特里布
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件