UMFPACK公司 454份文件引用(1996–2024) 软件作者: Timothy A.戴维斯。 相关软件: FreeFem++;PETSc;交易.ii… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
SODAS公司 69篇文献引用(1999–2023) 软件作者: 阿兰·莫里诺 相关软件: WordNet;算法39;FactoMineR… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
UPPAAL TIGA公司 引用于47份文件(2007–2023) 软件作者: Behrmann,G.、Cougnard,A.、David,A.、Fleury,E.、Larsen,K.G.、Lime,D。 相关软件: Uppaal;棱镜;Synthia… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
努Xmv 44篇文献引用(2015–2023) 软件作者: 罗伯特·卡瓦达、亚历山德罗·西马蒂、米歇尔·多里加蒂、阿尔贝托·格里乔、亚历桑德罗·马里奥蒂、安德烈亚·米凯利、塞尔吉奥·莫弗、马可·罗维里、斯特凡诺·托内塔 相关软件: z3;NuSMV;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
PyDS工具 21篇文献引用(2012–2023) 软件作者: Clewley RH、Sherwood WE、LaMar MD、Guckenheimer JM 相关软件: MATCONT;Matlab;自动… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…
FunArray(趣味阵列) 18篇文献引用(2011–2021) 软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐 相关软件: ASTREE公司;z3;助推器… 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
询问人 引用于9份文件(1997–2013) 软件作者: 乔纳森·米伦 相关软件: OFMC;Isabelle/HOL;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
铆钉 引用于9份文件(2020–2023) 软件作者: 迈克尔·莱斯尼克、马修·赖特 相关软件: 裂土器;辛巴;GitHub… 主要字段: 交换代数(13-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
GPTIPS系统 7份文件引用(2014–2022) 软件作者: Searson DP、Leahy DE、Willis MJ 相关软件: 奥维托;Scikit;Matlab… 主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);变形固体力学(74-XX)…
SAL公司 5份文件引用(2004–2021) 软件作者: 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件: 自旋蛋白;PVS;升起… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
国家林业局 引用于9份文件(2015–2023) 软件作者: Schäfer P,Högqvist M 相关软件: 火箭;UCR套件;scmamp… 主要字段: 统计学(62-XX);计算机科学(68-XX)
群集Sim 5份文件引用(2015–2022) 软件作者: 马雷克·瓦莱西亚克(Marek Walesiak),安德烈·杜德克(Andrzej Dudek) 相关软件: R;簇(R);cclust… 主要字段: 组合数学(05-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
消防员 5份文件引用(2009–2018) 软件作者: 袁,L。;Mai,J。;苏,Z。;陈,H。;Chuah,C.N。;莫哈帕特拉,P。 相关软件: 马尔格雷夫;菲尔马托;HOL-TestGen… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
SOSlib公司 3份文件引用(2012–2019) 软件作者: Lu J、Muller S、MachnéR、Flamm C 相关软件: 日晷;COPASI;R、 … 主要字段: 动力系统与遍历理论(37-XX);生物学和其他自然科学(92-XX)
符号自动机 5份文件引用(2012–2017) 软件作者: 玛格斯·维纳斯(Margus Veanes);尼古拉·比约纳 相关软件: 汉普;陌生人;GitHub… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
CASPA公司 4份文件引用(2008–2015) 软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特(Johann Schuster);马库斯·西格尔 相关软件: 棱镜;CUDD;参数 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
奥德比 2份文件引用(2021年至2022年) 软件作者: 阿瑟·佩萨(Arthur A.B.Pessa)、哈罗德·里贝罗(Haroldo V.Ribeiro) 相关软件: 数字Py;Scikit;NetworkX… 主要字段: 统计学(62-XX);统计力学,物质结构(82-XX)
RAFT公司 3份文件引用(2002–2010) 软件作者: 奇拉卡帕蒂 相关软件: ADIFOR公司;LEHGC;CORE2D… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
卡鲁GP 1份文件引用(2019) 软件作者: Kai Staats、Edward Pantridge、Marco Cavaglia、Iurii Milovanov、Arun Aniyan 相关软件: TensorFlow;SymPy;OpenCL… 主要字段: 计算机科学(68-XX);相对论和引力理论(83-XX)
MARTY公司 1份文件引用(2023) 软件作者: G.Uhlrich、F.Mahmoudi、A.Arbey 相关软件: SmeftFR;基本发电机;SuperTracer… 主要字段: 量子理论(81-XX)
马斯皮 在0个文档中引用 软件作者: Hao-Wen Dong、Ke Chen、Julian McAuley、Taylor Berg-Kirkpatrick 相关软件: 音乐变形金刚;PyTorch;相当中型… 主要字段: –
RSDA公司 1份文件引用(2016) 软件作者: 奥尔德马尔·罗德里格斯、卡洛斯·阿奎罗、豪尔赫·阿尔塞 相关软件: 符号DA;GPCSIV;ISDA。R、 … 主要字段: 统计学(62-XX);计算机科学(68-XX)
见证人 1份文件引用(2018) 软件作者: 汉娜·阿恩特;克里斯蒂娜·詹森(Christina Jansen);Christoph Matheja;诺尔,托马斯 相关软件: 贾格诺 主要字段: 计算机科学(68-XX)
ISDA。R(右) 在0个文档中引用 软件作者: 里卡多·豪尔赫·德·阿尔梅达·奎罗斯·菲略(Ricardo Jorge de Almeida Queiroz Filho)、罗伯塔·安德拉德(Roberta Andrade Araujo Fagundes) 相关软件: RSDA;符号DA;GPCSIV… 主要字段: –
LBMAT公司 1份文件引用(2023) 软件作者: 拉德克·富奇克;巴维尔·艾希勒;克林科夫斯克,雅库布;罗伯特·斯特拉卡(Robert Straka);托马斯·奥伯胡贝尔 相关软件: 吉纳碳 主要字段: 数值分析(65-XX)
音乐(musicaiz) 在0个文档中引用 软件作者: 卡洛斯·埃尔南德斯·奥利文(Carlos Hernandez-Olivan),何塞·贝尔特兰(Jose R.Beltran) 相关软件: 音乐变形金刚;PyTorch;MMM… 主要字段: –
符号DA 在0个文档中引用 软件作者: Andrzej Dudek、Marcin Pelka、Justyna Wilk、Marek Walesiak 相关软件: RSDA;GPCSIV;ISDA。R、 … 主要字段: –
SyMod公司 1份文件引用(2008) 软件作者: 杰森·摩尔(Jason H.Moore)。;内特·巴尼;比尔·C·怀特。 相关软件: – 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
SymPKF公司 在0个文档中引用 软件作者: 奥利维尔·潘尼科克(Olivier Pannekoucke)、菲利普·阿博加斯特(Philippe Arbogast) 相关软件: PDE网络生成;SymPy;蟒蛇 主要字段: –
吉莉安 在0个文档中引用 软件作者: 何塞·弗拉戈索·桑托斯(JoséFragoso Santos)、彼得·马克西莫维奇(Petar Maksimović)、萨沙·埃利·阿永(Sacha-E lie Ayoun)、菲利普·加德纳(Philippa Gardner) 相关软件: – 主要字段: –