×

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

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)

自动装置

7份文件引用(1990–2010)
软件作者: 迈克尔·塞尔斯。
相关软件: Matlab公司
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;对照(93-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)

验证

4份文件引用(2019年至2021年)
软件作者: 李玉良、阿林·德意志、维克托·维亚努
相关软件: 小卧室;Mcmt;尽快…
主要字段: 数学逻辑与基础(03-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)…

C外国人

1份文件引用(2018)
软件作者: P.穆勒、T.沃伊纳尔。
相关软件: SLAM;AProVE;CEGAR…
主要字段: 计算机科学(68-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)

马西玛TB

2份文件引用(2019年-2023年)
软件作者: 彼得·雅各布斯
相关软件: pybinding;结核杆菌;数学…
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

马斯皮

在0个文档中引用
软件作者: Hao-Wen Dong、Ke Chen、Julian McAuley、Taylor Berg-Kirkpatrick
相关软件: 音乐变形金刚;PyTorch;相当中型…
主要字段:

PySRURGS公司

在0个文档中引用
软件作者: 索拉布·托菲吉
相关软件: 蟒蛇;DEAP;pyGOURGS公司
主要字段:

RSDA公司

1份文件引用(2016)
软件作者: 奥尔德马尔·罗德里格斯、卡洛斯·阿奎罗、豪尔赫·阿尔塞
相关软件: 符号DA;GPCSIV;ISDA。R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX)

见证人

1份文件引用(2018)
软件作者: 汉娜·阿恩特;克里斯蒂娜·詹森(Christina Jansen);Christoph Matheja;诺尔,托马斯
相关软件: 贾格诺
主要字段: 计算机科学(68-XX)

Bex公司

1份文件引用(2015)
软件作者: 玛格斯·维纳斯
相关软件: 萨纳尔;梅林;西格玛*…
主要字段: 计算机科学(68-XX)

DB2SO公司

1份文件引用(2000)
软件作者: 乔治·Hébrail;伊夫·莱切瓦利埃
相关软件:
主要字段: 统计学(62-XX)

标高82

1份文件引用(2016)
软件作者: 埃里克·科斯金(Eric Koskinen);杨俊峰
相关软件: PostgreSQL;爆炸;SQC…
主要字段: 计算机科学(68-XX)

GPCSIV公司

在0个文档中引用
软件作者: 布拉希姆·布拉希姆;孙马科索·卡利特
相关软件: RSDA;符号DA;ISDA。R、 …
主要字段:

历史数据助理

1份文件引用(2022)
软件作者: 安东尼奥·埃尔皮诺
相关软件: SOM;COSA;剪影…
主要字段: 统计学(62-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…
主要字段:

psda公司

在0个文档中引用
软件作者: Wagner Silva、Renata Souza、Francisco Cysneiros
相关软件: RSDA;符号DA;GPCSIV…
主要字段:

符号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;蟒蛇
主要字段:

DataMelt公司

在0个文档中引用
软件作者: 谢尔盖·切卡诺夫
相关软件:
主要字段:

吉莉安

在0个文档中引用
软件作者: 何塞·弗拉戈索·桑托斯(JoséFragoso Santos)、彼得·马克西莫维奇(Petar Maksimović)、萨沙·埃利·阿永(Sacha-E lie Ayoun)、菲利普·加德纳(Philippa Gardner)
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段