LMI工具箱 1493年文献中引用(1995–2024) 软件作者: 数学作品;Gahinet,P。;内米洛夫斯基,A。;劳布,A.J。;Chilali,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) 软件作者: Fischbacher大学。 相关软件: ORSEE;hroot;状态… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
XPath(XPath) 205篇文献引用(2002–2023) 软件作者: w3.org网站 相关软件: XQuery;X标记;Oracle… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…
凯格 206篇文献引用(2003–2023) 软件作者: Minoru Kanehisa;Susumu Goto公司 相关软件: 生物导体;R;UniProt… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
单词2vec 264篇文献引用(2015–2024) 软件作者: 托马斯·米科洛夫等人。 相关软件: 全球;节点2vec;DeepWalk… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
SVM灯 214篇文献引用(2000–2023) 软件作者: 托尔斯滕·约阿希姆斯 相关软件: LIBSVM;UCI-ml;SVMTorch… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
BERT(误码率) 引用于179份文件(2019–2024) 软件作者: 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃 相关软件: Tensor2传感器;亚当;RoBERTa… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
SNAP(快照) 236篇文献引用(2009–2024) 软件作者: 朱尔·莱斯科维奇 相关软件: NetworkX;科内克特;稀疏矩阵… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
PROST公司 184份文件引用(2002–2024) 软件作者: Renardy,Yuriko;迈克尔·雷纳迪 相关软件: 格里斯;SLIC;卡拉肯… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
锂离子电池 引用于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)。 相关软件: ConGolog;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;洛立布;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)、亚当·杜吉 相关软件: 政治公众人物协议;棱镜;生物活性炭… 主要字段: 常微分方程(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年) 软件作者: 迈克尔·科尔哈斯 相关软件: MMT;Coq;Mizar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…
ILOG时间表 87份文件引用(1996–2023) 软件作者: C·勒帕佩 相关软件: CPLEX;炸薯条;JOBSHOP… 主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
可操纵金字塔 75篇文献引用(1999年-2023年) 软件作者: E.西蒙塞利 相关软件: DT-CWT;ImageNet;AlexNet… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…
卡拉卡拉 79份文件引用(2004–2022) 软件作者: 马歇,C。;Paulin-Mohring,C。;Urbain,X。 相关软件: Why3;卡杜克乌斯;JML… 主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…
科内克特 84份文件引用(2014–2023) 软件作者: J.库内吉斯 相关软件: SNAP;plfit;帕杰克… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
格菲 71篇文献引用(2012–2024) 软件作者: M.巴斯蒂安、S.海曼、M.雅各米 相关软件: 力量图谱2;NetworkX;图表… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
VeriFast公司 75篇文献引用(2009–2023) 软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯 相关软件: 达夫尼;布吉;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·亨特(David R.Hunter);卡特·巴特斯;史蒂文·古德鲁(Steven M.Goodreau);Pavel N.Krivitsky;马蒂娜·莫里斯 相关软件: R;能量管理;网络… 主要字段: 组合数学(05-XX);统计学(62-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.Juttler、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)
mCRL2型 59篇文献引用(2007–2023) 软件作者: Groote,Jan Friso;Aad Mathijssen;米歇尔·雷尼尔斯(Michel A.Reniers)。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡 相关软件: CADP;自旋蛋白;棱镜… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
国际学生成绩评估 53篇文献引用(2003–2022) 软件作者: 斯特凡·布鲁勒;马可·劳曼斯;洛塔尔·蒂勒;埃卡特·齐兹勒 相关软件: SPEA2;j金属;ParadisEO-MOEO… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
奈特拉 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) 软件作者: 内拉马尼(Neelamani),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;罗密欧;Kronos… 主要字段: 数学逻辑与基础(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)…
IF-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)…
信息GAN 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)…
JASPAR公司 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年) 软件作者: 弗兰茨·巴德;乌尔里克·萨特勒 相关软件: FaCT++;赛车手;颗粒… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
举起 42篇文献引用(2013–2023) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 转让;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
棱镜 41篇文献引用(2006–2022) 软件作者: 佐藤,T.,卡梅亚,Y。 相关软件: ProbLog;CP逻辑;PITA… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-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 相关软件: 施瓦兹-克里斯托菲尔;SC工具箱;GitHub… 主要字段: 复变量函数(30-XX);势能理论(31-XX);偏微分方程(35-XX)…
流氓波 39篇文献引用(2018–2024) 软件作者: 丹尼斯·比尔曼;凌利明;彼得·米勒。 相关软件: DLMF;RH包;OEIS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
烟尘 32篇文献引用(2004–2023) 软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。 相关软件: 达卡波;方面J;FlowDroid… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
GraRep公司 32篇文献引用(2017–2023) 软件作者: S.Cao、W.Lu、Q.Xu 相关软件: 节点2vec;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)…
深面(DeepFace) 32篇文献引用(2015–2023) 软件作者: Taigman Y,Yang M,Ranzato M,Wolf L。 相关软件: ImageNet;AlexNet;FaceNet… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
DSPCA公司 35篇文献引用(2005–2015) 软件作者: 亚历山大·阿斯普雷蒙特(Alexandre d'Aspremont)、劳伦特·埃尔·加维(Laurent El Ghaoui)、迈克尔·乔丹(Michael I.Jordan)、格特·兰克里特(Gert R.G.Lanckriet)、罗尼·卢斯 相关软件: 塞杜米;SDPT3;SDPLR… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
GCLC公司 34份文件引用(2002–2023) 软件作者: Janičić,普雷德拉格 相关软件: 地质厚度;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)。;Wayne D.Joubert。;大卫·R·金凯。 相关软件: ELLPACK;CGS;LAPACK… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
OBB树 24篇文献引用(2001–2024) 软件作者: Gottschalk,S.,Lin,M.C.,Manocha,D。 相关软件: 球体;Qsplat;CMPGRD… 主要字段: 数值分析(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);卢克·霍诺夫(Luke Hornof);吉姆,特雷弗 相关软件: 哈斯克尔;CCured公司;Coq… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
DARTS公司 22篇文献引用(2020–2024) 软件作者: 刘汉晓、卡伦·西蒙扬、杨一鸣 相关软件: ImageNet;十字花科植物;亚当… 主要字段: 数值分析(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) 相关软件: PADRE;github;生物钟… 主要字段: 组合数学(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·布尔贾利。;雅罗斯拉夫·特伦卡 相关软件: 正电子体;CutTools;黑帽… 主要字段: 组合数学(05-XX);微分几何(53-XX);粒子力学与系统(70-XX)…
FDR3公司 29篇文献引用(2014–2023) 软件作者: 托马斯·吉布森·罗宾逊;菲利普·阿姆斯特朗;亚历山大·布尔加科夫;安德鲁·W·罗斯科 相关软件: CADP;Z;LTS最小值… 主要字段: 总体主题;藏品(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 相关软件: 普夫洛特兰;三角形;拉格里特… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…