地理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)
风笛手 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)…
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)…
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)
库雷 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)
救济E 1份文件引用(2022) 软件作者: Škrlj,布拉日;季埃洛斯基,萨索;拉夫拉奇,纳达;佩特科维奇(Matej Petković) 相关软件: UMAP;缓解F;Tensor2传感器… 主要字段: 计算机科学(68-XX)
TEQC公司 在0个文档中引用 软件作者: Manuela Hummel;莎拉·博宁(Sarah Bonnin);埃内斯托·洛伊(Ernesto Lowy);罗马,古列尔莫 相关软件: R(右) 主要字段: –