×

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

SVM灯

214篇文献引用(2000–2023)
软件作者: 托尔斯滕·约阿希姆斯
相关软件: LIBSVM;UCI-ml;SVMTorch…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

HypE公司

94份文件引用(2010–2023)
软件作者: Bader,J.、Zitzler,E。
相关软件: MOEA/D;SPEA2;SMS-EMOA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

半群

37篇文献引用(2011–2023)
软件作者: J.D.米切尔。
相关软件: 间隙;组织环境信息系统;Smallsemi…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…

希格斯信号

25篇文献引用(2014–2023)
软件作者: P.Bechtle、S.Heinemeyer、O.Stál、T.Stefaniak、G.Weiglein
相关软件: 希格斯边界;莎拉;斯费诺…
主要字段: 概率论与随机过程(60-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

VESTA公司

22篇文献引用(2007–2021)
软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha
相关软件: 棱镜;莫德;HOL…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

GenSSI公司

引用于20份文件(2013年-2023年)
软件作者: Chis O、Banga J、Balsa-Canto E
相关软件: 雏菊;西安;COMBOS…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

小支票

18篇文献引用(2010–2022)
软件作者: Runciman,C.、Naylor,M.、Lindblad,F。
相关软件: 快速检查;哈斯克尔;Nitpick…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

偏序集

19份文件引用(1996–2019)
软件作者: J.R·斯坦布里奇
相关软件: 考克斯仪;SF;OEIS…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…

YOGI公司

13份文件引用(2010–2022)
软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur
相关软件: z3;投掷;可爱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MCFDR公司

8份文件引用(2014–2022)
软件作者: Sandve,G.和Ferkingstad,E。;南尼加德
相关软件: MMC测试;原产地;bootlib…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

快速鸡

7份文件引用(2015–2022)
软件作者: Paraskevopoulou,佐伊;Hriţcu,科特林;邓内斯,马克西姆;莱昂尼达斯·兰普罗普洛斯;本杰明·皮尔斯。
相关软件: 快速检查;PVS;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

DIMSEM公司

4份文件引用(1996–2016)
软件作者: Robert F.Enenkel、Kenneth R.Jackson
相关软件: XBraid;PyPFASST;GitHub…
主要字段: 历史与传记(01-XX);常微分方程(34-XX);数值分析(65-XX)

GLINTS公司

4份文件引用(2019年-2023年)
软件作者: 玛丽亚·阿尔普特(María Alpunte)、安吉尔·昆卡-奥尔加(Angel Cuenca-Ortega)、圣地亚哥·埃斯科瓦尔(Santiago Escobar)、朱莉娅·萨皮尼亚(Julia Sapiña)
相关软件: 莫德;ABETS;MTT…
主要字段: 一般代数系统(08-XX);计算机科学(68-XX)

幸运

4份文件引用(2017年至2021年)
软件作者: 莱昂尼达斯·兰普罗普洛斯;戴安·加洛瓦·旺;Hriţcu,科特林;约翰·休斯;本杰明·皮尔斯(Benjamin C.Pierce)。;夏、李耀
相关软件: 快速检查;PVS;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

MONOiD系列

4份文件引用(2001–2019)
软件作者: 詹姆斯·米切尔;戈茨·普费弗(Götz Pfeiffer);Steve A.Linton、Edmund F.Robertson;尼克·鲁斯科
相关软件: 间隙;岩浆;半群…
主要字段: 群论与推广(20-XX);计算机科学(68-XX)

PrologCheck(序言检查)

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

hCKSAAP_网站

3份文件引用(2019–2022)
软件作者: 陈,Z。;周,Y。;宋,J。;Zhang。
相关软件: 堡垒3;mAHT红色;iBitter-SCM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

假设

在0个文档中引用
软件作者: D R·麦克勒
相关软件: 蟒蛇;天文术;数字标识…
主要字段:

西塔

2份文件引用(2015–2021)
软件作者: 乔蒂莫·德斯穆赫(Jyotirmoy Deshmukh);金小青;詹姆斯·卡宾斯基(James Kapinski);奥德·马勒
相关软件: 违约;S-TaLiRo;自适应压力测试.jl…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

Ask-Elle公司

在0个文档中引用
软件作者: Alex Gerdes;海仁,巴斯蒂安;Johan Jeuring;范·宾斯贝根,L.托马斯
相关软件: 哈斯克尔;ELM-ART;闪闪发光…
主要字段:

计算代数

2份文件引用(2018–2021)
软件作者: 石井裕美
相关软件: github;DoCon公司;ghc-typelits-presburger…
主要字段: 交换代数(13-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…

高斯-林特尔

2份文件引用(2021–2023)
软件作者: 阿卜杜拉·汗;阿列克谢·利西萨;阿列克谢·弗尼茨基
相关软件: SWI-预测;组织环境信息系统
主要字段: 代数几何(14-XX);流形和细胞复合体(57-XX)

肉汁

1份文件引用(2020年)
软件作者: Arlt,S.、Rubio-González,C.、Rümmer,P.、Schäf,M.、Shankar,N。
相关软件: Rust2Viper;蝰蛇;SMACK…
主要字段: 计算机科学(68-XX)

校样板

1份文件引用(2018)
软件作者: Caleb Eggensperger公司
相关软件: ACL2;ACuLa博士;DrJava…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

PropEr公司

1份文件引用(2018)
软件作者: M.Papadakis、E.Arvaniti、K.Sagonas
相关软件: 风吹;卡特尔;红虫…
主要字段: 计算机科学(68-XX)

PTTAC公司

2份文件引用(2017–2018)
软件作者: 卡马乔(Camacho),文学硕士,梅拉约(Merayo),医学博士,麦地那-布洛(Medina-Bulo)
相关软件:
主要字段: 计算机科学(68-XX)

VBF公司

2份文件引用(2016–2017)
软件作者: 何塞·安东尼奥·阿尔瓦雷斯-库贝罗,佩德罗·祖菲里亚
相关软件: KASUMI;SageMath;VBFlib…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

ArtinAlgebras公司

1份文件引用(2017)
软件作者: G.威斯
相关软件: 岩浆
主要字段: 数论(11-XX)

BAMD公司

1份文件引用(2012)
软件作者: 李震;维克内斯瓦兰·戈帕尔;李晓波;约翰·戴维斯(John M.Davis)。;乔治·卡塞拉
相关软件: 结构;MISA;tsbridge…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

柑橘

1份文件引用(2013)
软件作者: 戈茨·普菲弗、史蒂夫·林顿、埃德蒙·罗伯逊、尼克·鲁斯科;J.D.米切尔
相关软件: 球体;间隙
主要字段: 群论与推广(20-XX)

HDLSSkST公司

1份文件引用(2022)
软件作者: Biplab Paul、Shyamal K.De、Anil K.Ghosh
相关软件: 能量;ElemStatLearn;MNM…
主要字段: 统计学(62-XX)

LBT(磅)

1份文件引用(2013)
软件作者: 莫诺·Rönkkö
相关软件: lbtt;ltlflt;autocross…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

图书馆短文本

1份文件引用(2014)
软件作者: Yu,H.-F.,Ho,C.-H.,Juan,Y.C.,Lin,C.-J
相关软件: 时间ML;HunPos;GULP…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

PS核心2

1份文件引用(2013)
软件作者: 萨布丽娜·多恩
相关软件:
主要字段: 统计学(62-XX)

快速恢复

在0个文档中引用
软件作者: Stefan Karlsson、Adnan Causevic、Daniel Sundmark
相关软件: RESTler公司;PostgreSQL;科特林…
主要字段:

SPACE(空间)

1份文件引用(2010)
软件作者: 斯特罗夫·皮特;马尔蒂恩·斯特罗芬
相关软件: 庭院;Matlab;Gmsh…
主要字段: 可变形固体力学(74-XX)

接头3

1份文件引用(2005)
软件作者: W.Randolph,Franklin
相关软件:
主要字段: 数值分析(65-XX)

棘突线虫dna

在0个文档中引用
软件作者: 古斯塔沃·格里科;等。
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件