×

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

LMI工具箱

1493年文献引用(1995–2024)
软件作者: 数学作品;Gahinet,P。;内米洛夫斯基,A。;劳布,A.J。;M.奇拉利。
相关软件: Matlab;控制系统工具箱;YALMIP…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);运筹学,数学规划(90-XX)…

GAMS游戏

898份文件引用(1984–2024)
软件作者: GAMS开发公司,GAMS软件有限公司
相关软件: CPLEX;AMPL;MINOS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Z树

695份文件引用(2001–2023)
软件作者: 菲施巴赫大学。
相关软件: 奥赛;hroot;状态…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

XPath(XPath)

205篇文献引用(2002年-2023年)
软件作者: w3.org网站
相关软件: XQuery;X标记;Oracle…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…

KEGG公司

206篇文献引用(2003–2023)
软件作者: Minoru Kanehisa;Susumu Goto公司
相关软件: 生物导体;R;UniProt…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

单词2vec

264篇文献引用(2015–2024)
软件作者: 托马斯·米科洛夫等人。
相关软件: 全球;node2vec;DeepWalk…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

SVM灯

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

伯特

179份文件引用(2019–2024)
软件作者: 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃
相关软件: Tensor2传感器;亚当;RoBERTa…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

SNAP(快照)

236篇文献引用(2009–2024)
软件作者: 朱尔·莱斯科维奇
相关软件: 网络X;科内克特;稀疏矩阵…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

前列腺

184份文件引用(2002–2024)
软件作者: Renardy,Yuriko;迈克尔·雷纳迪
相关软件: 格里斯;SLIC;卡拉肯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

LiE公司

179份文件引用(1993年至2024年)
软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen
相关软件: Mathematica;岩浆;麦考利2…
主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…

TISEAN公司

165篇文献引用(1999–2023)
软件作者: Rainer Hegger、Holger Kantz、Thomas Schreiber
相关软件: Matlab;K2;科学…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

高尔夫

158份文件引用(1996–2024)
软件作者: 赫克托·J·列夫斯克(Hector J.Levesque)。;雷蒙德·雷特(Raymond Reiter);Lespérance,伊夫斯;林方珍;理查德·谢尔(Richard B.Scherl)。
相关软件: 康果洛;AgentSpeak;METATEM…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

手套

113篇文献引用(2015–2024)
软件作者: 杰弗里·彭宁顿(Jeffrey Pennington)、理查德·索彻(Richard Socher)、克里斯托弗·曼宁(Christopher D.Manning)
相关软件: 单词2vec;BERT;Tensor2传感器…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

节点2vec

128篇文献引用(2017–2024)
软件作者: 阿迪蒂亚·格罗弗(Aditya Grover),朱尔·莱斯科维奇(Jure Leskovec)
相关软件: DeepWalk;线路;单词2vec…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

门户网站

133篇文献引用(1996–2024)
软件作者: 克里斯托夫,T。;Reinelt,G。;安德烈亚斯·勒贝尔
相关软件: CPLEX;LOLIB;cdd…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

个人资料/偏差

132份文件引用(1979–2021)
软件作者: O.Knüppel。
相关软件: 进入PT_90;C-XSC;国际实验室…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

cdd(光盘)

130篇文献引用(1996–2023)
软件作者: 福田康美
相关软件: 多品牌;格凡;cddplus…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

BEMLIB公司

125篇文献引用(2002–2024)
软件作者: C.波兹里基迪斯。
相关软件: SERBA;特拉维斯CI;DLMF…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

欧兹

110篇文献引用(1994年-2023年)
软件作者: Henz,M.、Smolka,G.和Würtz,J。
相关软件: 炸薯条;莫扎特;克莱尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

生物-PEPA

97篇文献引用(2008–2024)
软件作者: Federica Ciocchetta、Maria Luisa Guerriero、Vashti Galpin、Jane Hillston、Giulio Caravagna、Allan Clark、Andrea Degasperi、Adam Duguid、Kanimozhi Ellavarason、Stephen Gilmore、Laurence Loewe、Dimitrios Milios
相关软件: 政治公众人物协议;棱镜;生物活性炭…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

美食

引用于101篇文献(2012–2024)
软件作者: Tang,Ping Tak Peter;埃里克·波利齐
相关软件: CIRR;lobpcg.m;JDQZ…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…

DEVEX公司

100篇文献引用(1973–2020)
软件作者: Paula M.J.哈里斯。
相关软件: MINOS;NETLIB LP测试集;CPLEX…
主要字段: 历史与传记(01-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

OMDoc公司

93篇文献引用(2001–2022)
软件作者: 迈克尔·科尔哈斯
相关软件: 毫米波;辅酶q;Mizar…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…

ILOG时间表

87份文件引用(1996–2023)
软件作者: C·勒帕佩
相关软件: CPLEX;炸薯条;JOBSHOP…
主要字段: 一般代数系统(08-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

可操纵金字塔

75篇文献引用(1999–2023)
软件作者: E.西蒙塞利
相关软件: DT-CWT;ImageNet;AlexNet…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…

卡拉卡拉

79份文件引用(2004–2022)
软件作者: 马奇,C。;Paulin Mohring,C.教授。;X·乌尔班。
相关软件: Why3;Caduceus;JML…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

科内克特

84份文件引用(2014–2023)
软件作者: J.库内吉斯
相关软件: SNAP;plfit;帕杰克…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

格菲

71篇文献引用(2012–2024)
软件作者: M.Bastian、S.Heymann、M.Jacomy
相关软件: 力量图谱2;网络X;图表…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

VeriFast公司

75篇文献引用(2009–2023)
软件作者: 巴特·雅各布斯;简·斯曼斯;弗兰克·皮森斯
相关软件: 达夫尼;布吉;z3…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

PCA-SIFT公司

53篇文献引用(2006年至2021年)
软件作者: Y.Ke和R.Sukthankar
相关软件: SIFT;冲浪;ASIFT…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

Pfinder(查找器)

33篇文献引用(2000–2023)
软件作者: 雷恩,C.R。;阿扎尔巴耶贾尼,A。;Darrell,T。;A.彭特兰。
相关软件: BraMBLe公司;SIFT;扫描…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…

美国汽车协会

80篇文献引用(2017–2024)
软件作者: Yuji Nakatsukasa、Olivier Sète、Lloyd N.Trefethen
相关软件: RK工具箱;切布冯;Loewner…
主要字段: 复变量函数(30-XX);偏微分方程(35-XX);近似和展开(41-XX)…

定子网

52篇文献引用(2008–2023)
软件作者: Mark S.Handcock;大卫·R·亨特;卡特·巴特斯;史蒂文·古德鲁(Steven M.Goodreau);帕维尔·N·克里维茨基;马蒂娜·莫里斯
相关软件: R;能量管理;网络…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

mCRL2型

59篇文献引用(2007–2023)
软件作者: 格罗特,扬·弗里索;Aad Mathijssen;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡
相关软件: CADP;Uppaal;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

CL_MATCONT公司

73篇文献引用(2003–2024)
软件作者: W.Govaerts;于。A.库兹涅佐夫
相关软件: MATCONT;Matlab;自动…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

LieART公司

70篇文献引用(2012–2023)
软件作者: 罗伯特·费格(Robert Feger)、托马斯·凯普哈特(Thomas W.Kephart)
相关软件: Mathematica;苏西诺;LiE…
主要字段: 代数几何(14-XX);非结合环与代数(17-XX);量子理论(81-XX)…

IETI公司

70篇文献引用(2012–2023)
软件作者: S.K.Kleiss、C.Pechstein、B.Ju­ttler、S.Tomar
相关软件: GeoPDE;G+Smo;ISOGAT…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

GALib公司

56篇文献引用(1999–2021)
软件作者: 马修·沃尔
相关软件: 基因组学;VRP;CPLEX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

赛车手

53篇文献引用(2001–2022)
软件作者: Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel
相关软件: FaCT++;颗粒;KL-ONE…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

国际学生成绩评估

53篇文献引用(2003–2022)
软件作者: 斯特凡·布鲁勒;马可·劳曼斯;洛塔尔·蒂勒;埃卡特·齐兹勒
相关软件: SPEA2;jMetal公司;ParadisEO MOEO…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

NeTra公司

42篇文献引用(2000–2016)
软件作者: 马维英;B.S.曼朱纳
相关软件: VisualSEEk;简单性;PicToSeek…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…

持久性图像

59篇文献引用(2016–2023)
软件作者: 亨利·亚当斯、索菲亚·切普斯塔诺娃、特根·爱默生、埃里克·汉森、迈克尔·柯比、弗朗西斯·莫塔、雷切尔·内维尔、克里斯·彼得森、帕特里克·希普曼、洛里·齐格尔梅尔
相关软件: GitHub;Scikit;Gudhi…
主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…

TT工具箱

56篇文献引用(2010–2023)
软件作者: Oseledets,I.V.公司。
相关软件: GitHub;张量工具箱;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…

歌剧

57篇文献引用(2010–2024)
软件作者: 弗拉基米尔·多森科;米凯尔·维杰德莫·约翰逊
相关软件: 组织环境信息系统;二叉树;GitHub…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);非结合环与代数(17-XX)…

ProVerify公司

49篇文献引用(2005–2023)
软件作者: inria.fr;布鲁诺·布兰切特
相关软件: AVISPA;塔马林;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

向前地

55份文件引用(2004–2021)
软件作者: 尼拉马尼,R。;Choi,H。;R.巴拉纽克。
相关软件: RecPF;正规化工具;Matlab…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…

MMT公司

54篇文献引用(2009–2022)
软件作者: 弗洛里安·拉贝
相关软件: OMDoc;质量管理团队;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

TINA公司

53篇文献引用(2004–2024)
软件作者: 伯托米厄,B。;里贝特,P.-O。;弗纳达特,F。;LAAS/CNRS公司
相关软件: Uppaal;罗密欧;克罗诺斯…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

剪切实验室

52篇文献引用(2010–2023)
软件作者: 吉塔·库蒂尼奥克;莫特萨·沙赫拉姆;庄晓生
相关软件: 小波与多尺度库;NSCT工具箱;Matlab…
主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…

LEO-II型

52篇文献引用(2008–2021)
软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A
相关软件: 沙达拉;TPTP;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

固化

31份文件引用(2001–2023)
软件作者: K.J.Dana、B.Van-Ginneken、S.K.Nayar、J.J.Koenderink
相关软件: Outex;SIFT;EMD…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

如果2.0

38篇文献引用(2002年至2022年)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

FRIL公司

38篇文献引用(1987–2022)
软件作者: 鲍德温,J.F。;马丁·T·P。;皮尔斯沃斯,B.W。
相关软件: Likelog;FPROLOG;XPath…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

棱镜

41篇文献引用(2006–2022)
软件作者: 佐藤,T.,卡梅亚,Y。
相关软件: ProbLog;CP逻辑;PITA…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

InfoGAN公司

40篇文献引用(2017–2024)
软件作者: Xi Chen、Yan Duan、Rein Houthooft、John Schulman、Ilya Sutskever、Pieter Abbeel
相关软件: 亚当;Wasserstein GAN;ImageNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…

PHAT公司

39篇文献引用(2014–2023)
软件作者: 乌尔里希·鲍尔;迈克尔·科伯(Michael Kerber);简·雷宁豪斯(Jan Reininghaus);休伯特·瓦格纳
相关软件: 古迪;酒神;开膛器…
主要字段: 组合数学(05-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…

椰子

40篇文献引用(2003–2023)
软件作者: Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot
相关软件: BARON公司;环球太阳;AMPL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

贾斯帕

23篇文献引用(2006年至2021年)
软件作者: 阿尔宾·桑德林(Albin Sandelin)、维南德·阿尔凯马(Wynand Alkema)、帕尔·恩格斯特罗姆(Pär Engström)、怀斯·W·瓦瑟曼(Wyeth W.Wasserman)、鲍里斯·伦哈德(Boris Lenhard)
相关软件: TRANSFAC公司;KEGG;BioProspector…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

KL-ONE公司

37篇文献引用(2001–2022)
软件作者: 弗兰茨·巴德;Ulrike萨特勒
相关软件: FaCT++;赛车手;颗粒…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

举起

42篇文献引用(2013–2023)
软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar
相关软件: 转让;Isabelle/HOL;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

SMOTEBoost公司

33篇文献引用(2004–2023)
软件作者: 巴尔南·达斯;Nitesh V.Chawla、Aleksandar Lazarevic、Lawrence O.Hall、Kevin W.Bowyer
相关软件: SMOTE;UCI-ml;AdaCost…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

换乘

42篇文献引用(2013–2023)
软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar
相关软件: 举起;Isabelle/HOL;存档正式证据…
主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…

UCPOP公司

40篇文献引用(1993年至2022年)
软件作者: 彭伯蒂,J.S。;焊接,D。
相关软件: 图形平面图;神童;PDDL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

CIL公司

33篇文献引用(2002年至2022年)
软件作者: Necula,G.C.,McPeak,S.,Rahul,S.P.,Weimer,W。
相关软件: 爆破;CBMC;SLAM…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

低碳所

33篇文献引用(2016–2023)
软件作者: Laurent Dinh、David Krueger、Yoshua Bengio
相关软件: 亚当;辉光;火炬差异…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SKPrime公司

39篇文献引用(2007–2023)
软件作者: D.G.Crowdy、C.C.Green、E.H.Kropf、M.M.S.Nasser
相关软件: 施瓦兹-克里斯托菲尔;GitHub;SC工具箱…
主要字段: 复变量函数(30-XX);势能理论(31-XX);偏微分方程(35-XX)…

流氓波

39篇文献引用(2018–2024)
软件作者: 丹尼斯·比尔曼;凌利明;彼得·米勒。
相关软件: DLMF;RHPackage公司;OEIS…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

JOSTLE公司

37篇文献引用(1995–2023)
软件作者: C.沃尔肖
相关软件: 苏格兰威士忌;查科;梅蒂斯…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

烟尘

32篇文献引用(2004–2023)
软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。
相关软件: GitHub;达卡波;方面J…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

深面(DeepFace)

32篇文献引用(2015–2023)
软件作者: Taigman Y,Yang M,Ranzato M,Wolf L。
相关软件: ImageNet;AlexNet;FaceNet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

GraRep公司

32篇文献引用(2017–2023)
软件作者: S.Cao、W.Lu、Q.Xu
相关软件: node2vec;DeepWalk;线路…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

神童

24篇文献引用(1992–2019)
软件作者: Carbonell,J.、Blythe,J.,Etzioni,O.、Gil,Y.、Joseph,R.、Kahn,D.、Knoblock,C.、Minton,S.、Pérez,M.A.、Reilly,S.,Veloso,M.、Wang,X。
相关软件: UCPOP;图形平面图;KQML…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

Qsplat公司

21篇文献引用(2004–2022)
软件作者: Rusinkiewicz S,Levoy M
相关软件: 权力外壳;CGAL;OBBTree…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);数值分析(65-XX)…

DSPCA公司

35篇文献引用(2005–2015)
软件作者: 亚历山大·阿斯普雷蒙特(Alexandre d'Aspremont)、劳伦特·埃尔·加维(Laurent El Ghaoui)、迈克尔·乔丹(Michael I.Jordan)、格特·兰克里特(Gert R.G.Lanckriet)、罗尼·卢斯
相关软件: SeDuMi公司;SDPT3;SDPLR…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

GCLC公司

34份文件引用(2002年-2023年)
软件作者: 贾尼契奇,普雷德拉格
相关软件: 地质学;GeoGebra;GCL校准仪…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…

图形日志

34份文件引用(1990–2022)
软件作者: 康森斯,M。;门德尔松
相关软件: XPath;SPARQL;洛雷尔…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);结合环与代数(16-XX)…

NSPCG公司

35篇文献引用(1988–2022)
软件作者: 托马斯·奥佩(Thomas C.Oppe)。;Joubert,韦恩·D·。;大卫·R·金凯。
相关软件: ELLPACK;CGS;LAPACK…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

OBB树

24篇文献引用(2001–2024)
软件作者: Gottschalk,S.,Lin,M.C.,Manocha,D。
相关软件: 球体;Qsplat;GitHub…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

DLV公司

29篇文献引用(2001–2022)
软件作者: 乔瓦尼·格拉索;萨尔瓦多伊里塔诺;尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡
相关软件: WASP;格林戈;扣…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

天鹅绒

26篇文献引用(2012–2022)
软件作者: D.R.Zerbino和E.Birney
相关软件: ALLPATHS公司;深渊;SPAdes…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…

阿丁克拉斯

32篇文献引用(2005–2023)
软件作者: 张燕X。
相关软件: HEPTH工具;LieART;阿丁卡拉…
主要字段: 组合数学(05-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

旋风

30篇文献引用(2003–2022)
软件作者: 弗雷德里克·史密斯;Dan Grossman;格雷格·莫里塞特(Greg Morrisett);卢克·霍诺夫;吉姆·特雷弗
相关软件: 哈斯克尔;CCured;Coq…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

DARTS公司

22篇文献引用(2020–2024)
软件作者: 刘汉晓、卡伦·西蒙扬、杨一鸣
相关软件: ImageNet;CIFAR;亚当…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

地理1.1

31份文件引用(1996–2021)
软件作者: 王东明
相关软件: GeoGebra;GEX;地理信息…
主要字段: 场论与多项式(12-XX);几何(51-XX);数值分析(65-XX)…

Phylo网络

引用于27份文件(2010–2024)
软件作者: 加布里埃尔·卡多纳(Gabriel Cardona)、弗朗西斯科·罗塞洛(Francesc Rosselló)、加布里埃尔·瓦连特(Gabriel-Valiente)
相关软件: GitHub;PADRE;生物钟…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

LFR工具箱

31份文件引用(2004–2023)
软件作者: 西蒙·赫克(Simon Hecker);安德拉斯·瓦尔加(Andras Varga);Jean-François马尼
相关软件: YALMIP;莫塞克;SeDuMi…
主要字段: 动力系统与遍历理论(37-XX);近似和展开(41-XX);计算机科学(68-XX)…

PHYSALIS公司

31份文件引用(2001–2022)
软件作者: 黄华雄;高木,舒
相关软件: 变形杆菌;CMPGRD;BiCGstab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

APMC公司

29篇文献引用(2004–2021)
软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马涅特;西尔万·佩伦内特
相关软件: 棱镜;Uppaal;风暴…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

南美林猫

23篇文献引用(2007–2022)
软件作者: 埃米娜·托拉克;丹尼尔·杰克逊
相关软件: z3;Isabelle/HOL;尼特皮克…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

花茎

20篇文献引用(2009–2023)
软件作者: D.Anguelov、P.Srinivasan、D.Koller、S.Thrun、J.Rodgers、J.Davis
相关软件: HumanEva;Pfinder;PointNet…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

双回路振幅

30篇文献引用(2015–2022)
软件作者: 雅各布·L·布尔贾利。;雅罗斯拉夫·特伦卡
相关软件: 正电子体;超智能;剪切工具…
主要字段: 组合数学(05-XX);微分几何(53-XX);粒子力学与系统(70-XX)…

FDR3公司

29篇文献引用(2014–2023)
软件作者: 托马斯·吉布森·罗宾逊;菲利普·阿姆斯特朗;亚历山大·布尔加科夫;安德鲁·罗斯科
相关软件: CADP;Z;LTSmin…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;Casper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

拉斯塔马特

17篇文献引用(2000–2023)
软件作者: 丹·埃利斯(Dan Ellis);H.赫尔曼斯基;N.摩根
相关软件: 听觉工具箱;PRMLT;科恩拉布…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);计算机科学(68-XX)…

SETL公司

28篇文献引用(1986–2023)
软件作者: 施瓦茨,J.T。;杜瓦,R.B.K。;杜宾斯基,E。;肖恩伯格,E。
相关软件: Z;JSetL;裁判…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);一般代数系统(08-XX)…

沙雷

6篇文献引用(2020–2023)
软件作者: S霍耶
相关软件: 蟒蛇;数字Py;Matplotlib…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各布·范德波尔;迈克尔·韦伯;斯特凡·布洛姆
相关软件: 自旋蛋白;Uppaal;迪文尼…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

艺术3

16篇文献引用(1992–2012)
软件作者: 盖尔·卡彭特(Gail A.Carpenter);斯蒂芬·格罗斯伯格
相关软件: 模糊ARTMAP;UCI-ml;LVQPAK…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

dfn工程

引用于27份文件(2017–2023)
软件作者: J.D.Hyman、S.Karra、N.Makedonska、C.W.Gable、S.L.Painter和H.S.Viswanathan,D
相关软件: PFLOTRAN;三角形;拉格里特…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

筛选结果依据…

全部的 前5名

相关软件