×

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

LMFDB公司

273份文件中引用(2014–2024)
软件作者: http://www.lmfdb.org/确认
相关软件: 岩浆;SageMath;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);特殊功能(33-XX)…

MeatExe公司

69篇文献引用(1994年-2023年)
软件作者: 迈克尔·林奇
相关软件: 间隙;岩浆;ATLAS集团代表…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论与推广(20-XX)…

ell-adic-galois-images公司

46篇文献引用(2015–2024)
软件作者: 杰里米·劳斯(Jeremy Rouse);安德鲁·萨瑟兰(Andrew V.Sutherland)。;大卫·苏莱克·伯恩
相关软件: 岩浆;LMFDB;SageMath…
主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…

灵丹妙药

16篇文献引用(1982–2005)
软件作者: Ramakrishnan,K.G。;密特拉·D·。
相关软件: FIDIL;GENTRAN公司;阿尔巴
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

APNN工具箱

12份文件引用(1999–2022)
软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀
相关软件: 棱镜;政治公众人物协议;LDQBD…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

MontiCore公司

引用于3份文件(2016–2021)
软件作者: 霍尔格·克拉恩(Krahn,Holger);伦佩,伯恩哈德;史蒂文·沃尔克尔
相关软件: 梦幻岛;ANTLR;Spoofax…
主要字段: 计算机科学(68-XX)

Pykg2矢量

2份文件引用(2021)
软件作者: Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque
相关软件: OpenKE;AmpliGraph;Python…
主要字段: 计算机科学(68-XX)

Gmeta公司

4份文件引用(2012–2020)
软件作者: Lee,Gyesik;布鲁诺·C.D.S.奥利维拉。;Cho,Sungkeun;Yi,Kwangkeun先生
相关软件: LNgen;流行标志;Psi-calculi…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

安迪

1份文件引用(2018)
软件作者: Franck Delaplace、Cinzia Di Giusto、Jean-Louis Giavitto、Hanna Klaudel
相关软件: 查理;清爽;
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

modopt公司

2份文件引用(2008–2015)
软件作者: 汤米·詹胡宁
相关软件: 斯莫德尔斯
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

焦点的

1份文件引用(2009)
软件作者: 雷诺·里奥博
相关软件: OpenAxiom;泽农;C-CoRN…
主要字段: 一般代数系统(08-XX);计算机科学(68-XX)

GENFIT公司

在0个文档中引用
软件作者: 约翰·劳赫(Johannes Rauch),托比亚斯·施吕特(Tobias Schlüter)
相关软件: 咆哮;GEANT4;
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段