×

找到23个软件包(结果1–23)

LERS公司

112份文件引用(1993–2022)
软件作者: Grzymala-Busse,J.W。
相关软件: C4.5;UCI-ml;4eMka2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

斯科特

31份文件引用(2016–2023)
软件作者: 马蒂亚斯·伦格;马吉德·扎马尼
相关软件: PESSOA;科西马;p面…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

数学张量

21篇文献引用(1997–2021)
软件作者: 史蒂文·克里斯滕森(Steven M.Christensen)。
相关软件: ATENSOR公司;Mathematica;Cadabra…
主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…

CPsuperH公司

10篇文献引用(2007–2013)
软件作者: J.S.Lee;A.Pilaftsis;M.Carena;S.Y.Choi;M.Drees;J.Ellis;C.E.M.瓦格纳
相关软件: 柔软;SuSpect;费恩希格斯…
主要字段: 光学、电磁理论(78-XX);量子理论(81-XX);相对论和引力理论(83-XX)

MOCUS公司

8份文件引用(1977–2020)
软件作者: J.B.Fussell、E.B.Henry、N.H.Marshall
相关软件: FATRAM;准备/套件;ELRAFT…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

N3逻辑

引用于7份文件(2008–2017)
软件作者: 蒂姆·伯纳斯-李(Tim Berners-Lee);Dan Connolly;拉拉纳·卡加尔;尤西·沙夫;吉姆·亨德勒
相关软件: 烟雾;MWeb;SPARQL…
主要字段: 计算机科学(68-XX)

信标

8份文件引用(2016年至2022年)
软件作者: Arif,M.Fareed;卡洛斯·门西娅(Carlos Mencía);阿列克谢·伊格纳提耶夫(Alexey Ignatiev);诺伯特·曼恩;拉斐尔·佩尼亚洛扎;若昂·西尔瓦侯爵
相关软件: EL2MCS;ELK;HgMUS…
主要字段: 计算机科学(68-XX)

HgMUS公司

引用于7份文件(2015–2022)
软件作者: Arif,M.Fareed;卡洛斯·门西亚;若昂·西尔瓦侯爵
相关软件: 信标;Ltur;ELK…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

神经理想

引用于7份文件(2018–2023)
软件作者: Ethan Petersen;扬斯,诺拉;Ryan Kruse;丹麦宫田;丽贝卡·加西亚;路易斯·戴维·加西亚·普恩特
相关软件: SageMath;SVD四重奏;GitHub…
主要字段: 组合数学(05-XX);交换代数(13-XX);计算机科学(68-XX)…

EL2MCS公司

5份文件引用(2015–2018)
软件作者: Arif,M.F.,Mencía,C.,Marques-Silva,J。
相关软件: 信标;只是;HgMUS…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

阿拉丁

3份文件引用(1990–2002)
软件作者: E.Helttula、A.Hyrskykari、K.-J.Räihä
相关软件: GeoWin;游行;FAUST…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

运动(Locomotif)

2份文件引用(2010–2014)
软件作者: 贾妮娜·里德、延斯·里德、罗伯特·吉格里奇
相关软件: 法国复兴信贷银行;哈斯克尔;Dyna…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

无限期

2份文件引用(2020–2021)
软件作者: 肖恩·莫斯
相关软件: github
主要字段: 范畴理论;同调代数(18-XX);代数拓扑(55-XX);歧管和细胞复合体(57-XX)

PULi公司

2份文件引用(2018–2022)
软件作者: 哈萨克夫,叶夫根尼;彼得·斯科切夫斯克
相关软件: 信标;ELK;HgMUS…
主要字段: 计算机科学(68-XX)

QOptCraft公司

1份文件引用(2023)
软件作者: Daniel Gómez Aguado、Vicent Gimeno、Julio JoséMoyano-Fernández、Juan Carlos Garcia-Escartin
相关软件: Python;QUBIT4MATLAB V3.0;AdaQuantum公司
主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)

Spass-FD公司

2份文件引用(2011)
软件作者: 马提亚斯·霍巴赫
相关软件: TPTP;SPASS公司
主要字段: 计算机科学(68-XX)

切普罗语

1份文件引用(2020)
软件作者: Bea,S。;Carrera,J。;阿约拉,C。;巴特勒,F。;萨廷克,M。
相关软件: TOUGHREACT公司
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

上下文FJ

1份文件引用(2015年)
软件作者: Hirschfeld,R.、Igarashi,A.、Masuhara,H。
相关软件: JCop;轻量级Java
主要字段: 计算机科学(68-XX)

Oflox公司

1份文件引用(2013)
软件作者: Sajo-Castelli,Andrés M。;贝纳多·菲约
相关软件: 倍频程;Matlab;LaTeX…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

可靠性

1份文件引用(2002)
软件作者: Goel,L。;G.B.Shrestha。
相关软件: Visual Basic
主要字段: 计算机科学(68-XX)

简单防火墙

1份文件引用(2018)
软件作者: 科尼利厄斯·迪克曼、朱利叶斯·迈克利斯、马克西米利安·哈斯贝克
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

塔迪斯

1份文件引用(2014)
软件作者: 莫斯科国立大学
相关软件: ScopeShell;泊松解算器;博尔西格语
主要字段: 流体力学(76-XX)

坏蛋杀手

在0个文档中引用
软件作者: Roel M.Hogervorst[创作,创作]
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件