×

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

地理PDE

142篇文献引用(2011–2023)
软件作者: de Falco,C。;Reali,A。;巴斯克斯。
相关软件: ISOGAT;IETI;Matlab…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

视觉UTA

118篇文献引用(2008–2023)
软件作者: S.Greco、V.Mousseau、R.Słowiáski
相关软件: UTA Plus;M-MACBETH;电气…
主要字段: 测量和集成(28-XX);统计学(62-XX);计算机科学(68-XX)…

科莱姆

65篇文献引用(2000–2023)
软件作者: 德尼古拉,R。;法拉利,G.L。;普格利泽,R。
相关软件: 琳达;克拉瓦;SCEL…
主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-XX)…

4eMka2公司

53篇文献引用(1999–2023)
软件作者: S.Greco、B.Matarazo、R.Slowinski
相关软件: LERS;M-MACBETH;视觉UTA…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

帕洛

37篇文献引用(1984–1993)
软件作者: 基思·克拉克;史蒂夫·格雷戈里
相关软件: GHC;更窄的;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

sbw公司

32篇文献引用(2015–2023)
软件作者: JoséR·祖比扎雷塔。
相关软件: mipmatch;DOS;R、 …
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

风笛手

28篇文献引用(2002年至2017年)
软件作者: 萨加尔·查基;Rajamani,Sriram K。;雅各布·雷霍夫
相关软件: SLMC;旋风;PiDuce…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

2APL公司

13份文件引用(2009年至2020年)
软件作者: 迈赫迪·达斯塔尼
相关软件: 杰森;AgentSpeak;Jadex…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

收音机

22篇文献引用(2018–2024)
软件作者: 彼得·本纳(Peter Benner);兹沃尼米尔·布亚诺维奇;帕特里克·库什内尔(Patrick Kurschner);Jens Saak公司
相关软件: MESS;稀疏矩阵;莫拉布…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

PAG公司

引用于20份文件(1996–2018)
软件作者: 弗洛里安·马丁
相关软件: NINJA公司;BLAS;MPI/MPICH…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)…

皮杜克

18篇文献引用(2006–2020)
软件作者: 卡皮内蒂,萨缪尔;科西莫·拉内夫;卢卡·帕多瓦尼
相关软件: XPi;X产品;COWS…
主要字段: 计算机科学(68-XX)

CSI-菲什

引用于20份文件(2019年-2023年)
软件作者: W.Beullens、T.Kleinung、F.Vercauteren
相关软件: 海洋标志;github;岩浆…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

SeDiMO公司

17篇文献引用(2007–2023)
软件作者: Karin Baur;Draisma,Jan;威廉·德·格拉夫。
相关软件: 麦考利2;贝尔蒂尼;间隙…
主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…

宴会

在14份文件中引用(1999–2015)
软件作者: Ch.Becker、S.Kilian、S.Turek、F.E.A.S.T.集团
相关软件: FEATFLOW;OpenCL;特里利诺斯…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

自动

13份文件引用(1990–2023)
软件作者: Champarnaud,J.M。;Hansel,G。
相关软件: 圣杯;AMoRE;AG…
主要字段: 一般代数系统(08-XX);群论与推广(20-XX);计算机科学(68-XX)

PSync(同步)

引用于9份文件(2016–2023)
软件作者: 塞扎拉奥盖医生;托马斯·亨辛格(Thomas A.Henzinger)。;达米安·祖弗里
相关软件: 威尔第;常春藤;ByMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

F.E.M公司

8份文件引用(2007–2022)
软件作者: Fontvieille,F。;Panasenko,G.P。;J·波辛。
相关软件: 趋化作用
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

算法628

6篇文献引用(1985–2009)
软件作者: 温克勒,F。;Buchberger,B。;利希滕贝格,F。;罗列茨切克,H。
相关软件: SYMMGRP;FGb公司
主要字段: 历史与传记(01-XX);交换代数(13-XX);结合环与代数(16-XX)…

算法898

6篇文献引用(2010–2022)
软件作者: 阿尔布雷希特,马丁;格雷戈里·巴德(Gregory Bard);威廉·哈特
相关软件: M4RI;岩浆;SageMath…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);群论与推广(20-XX);数值分析(65-XX)…

山核桃

6篇文献引用(1996–2021)
软件作者: 胡萝卜,路易吉;梅勒,弗兰诺;Mango Furnari,马里奥;雷娜塔·纳波利塔诺
相关软件: CANv2;PYR;OpenCAL…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

西比尔

6篇文献引用(2010–2020)
软件作者: 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶
相关软件: 斯巴达克斯;HyLoTab;HTab…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

分离根

4份文件引用(2017年至2021年)
软件作者: Chen,Parry Y。;尤纳坦·西万
相关软件: 算法699;EZERO公司;ZEAL…
主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);光学、电磁理论(78-XX)…

米尔诺·图利纳

4份文件引用(2015–2018)
软件作者: 罗西,M。;特拉奇尼。
相关软件: 枫树;py结
主要字段: 交换代数(13-XX);代数几何(14-XX)\(K\)理论(19-XX)…

PSLQ公司

4份文件引用(2010–2018)
软件作者: P.伯托克
相关软件: 古巴;琥珀色;HPL…
主要字段: 数论(11-XX);代数几何(14-XX);量子理论(81-XX)…

rlpyt公司

2份文件引用(2021)
软件作者: 彼得·阿比尔·亚当·斯托克
相关软件: RLlib;主席RL;稳定基线…
主要字段: 计算机科学(68-XX)

Unison公司

4份文件引用(2001–2011)
软件作者: 本杰明·皮尔斯(Benjamin C.Pierce)。;杰罗姆·沃伊隆
相关软件: 活力;Coq公司
主要字段: 计算机科学(68-XX)

DPF(DPF)

3份文件引用(2013–2020)
软件作者: Gligoric,米洛斯;鲁帕克·马朱姆达尔
相关软件: MCMAS;DDVerify;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

翻转

3份文件引用(1991–2006)
软件作者: Czyżak,彼得亚雷;罗马人Słowiánski
相关软件: WinGULF公司;IFLP;FPLP…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

JavaSPI(JavaSPI)

1份文件引用(2018)
软件作者: 里卡多·西斯托;比塔萨·科佩特(Bettasa Copet),皮尔吉乌塞佩(Piergiuseppe);阿瓦莱,马蒂奥;阿尔弗雷多·皮隆蒂
相关软件: MJ;AGVI;Bouncy Castle…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

jMetalCpp公司

2份文件引用(2018–2023)
软件作者: López-Camacho,E。;加西亚·戈多伊,M.J。;Nebro,A.J。;Aldana-Montes,J.F。
相关软件: 蟒蛇;巴利巴斯;马夫特…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

PelletSpatial公司

2份文件引用(2015–2016)
软件作者: 斯托克,M。;西林,E。
相关软件: GeoSPARQL;数据日志;SPARQL公司
主要字段: 计算机科学(68-XX)

艾伦TAP

2份文件引用(2008–2021)
软件作者: Near,Joseph P。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。
相关软件: Freshml;精益TAP;卡伦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CoCLAM公司

2份文件引用(2000–2012)
软件作者: 洛杉矶丹尼斯。;A.邦迪。;格林,我。
相关软件: 牡蛎;欧米茄;蛤蜊…
主要字段: 阶、格、有序代数结构(06-XX);一般代数系统(08-XX);计算机科学(68-XX)

快速

2份文件引用(2020–2023)
软件作者: 帕斯夸尔·朱利安·伊兰佐;莫雷诺、吉纳斯;何塞·安东尼奥·里亚扎
相关软件: BousiProlog;卷曲;XPath…
主要字段: 计算机科学(68-XX)

GETA公司

在0个文档中引用
软件作者: 秋池高野
相关软件:
主要字段:

库雷

2份文件引用(2008–2009)
软件作者: U.米兰人
相关软件: RelView;GBDD;Z、 …
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…

NetPyNE公司

2份文件引用(2020–2021)
软件作者: 塞西莉亚·罗马罗;费尔南多·阿劳霍(Fernando Araujo Najman);威廉·莱顿(William W.Lytton)。;安东尼奥·罗克(Antonio C.Roque)。;萨尔瓦多杜拉·伯纳尔
相关软件: 巢穴;蟒蛇;神经元
主要字段: 生物学和其他自然科学(92-XX)

CART_pub(T)

1份文件引用(2020年)
软件作者: 彼得·多博(Piotr Dowbor);金,燕
相关软件: 管状的
主要字段: 结合环与代数(16-XX);计算机科学(68-XX)

COSMOS网站

在0个文档中引用
软件作者: 凯特琳·M·凯西。;等。
相关软件: ShOpt.jl;WebbPSF;GalSim…
主要字段:

DAMPAS公司

1份文件引用(2016)
软件作者: M.Mosbah等人
相关软件: RDA;哈斯克尔;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

德克斯特

1份文件引用(2014)
软件作者: 沃尔特·卡佐拉(Walter Cazzola);埃多尔多·瓦奇
相关软件: ANTLR;dypgen;火花…
主要字段: 计算机科学(68-XX)

Mote3d

1份文件引用(2019)
软件作者: H.里希特。
相关软件: MoFEM;切割FEM
主要字段: 可变形固体力学(74-XX)

诺尼奥

在0个文档中引用
软件作者: 里卡多·诺布尔、乔·比斯波、蒂亚戈·卡瓦略、乔昂·卡多佐
相关软件: TACT;科尔;橡胶树…
主要字段:

救济E

1份文件引用(2022)
软件作者: Škrlj,布拉日;季埃洛斯基,萨索;拉夫拉奇,纳达;佩特科维奇(Matej Petković)
相关软件: UMAP;缓解F;Tensor2传感器…
主要字段: 计算机科学(68-XX)

TEQC公司

在0个文档中引用
软件作者: Manuela Hummel;莎拉·博宁(Sarah Bonnin);埃内斯托·洛伊(Ernesto Lowy);罗马,古列尔莫
相关软件: R(右)
主要字段:

拉德维兹

在0个文档中引用
软件作者: 亚恩·亚伯拉罕
相关软件:
主要字段:

筛选结果依据…