×

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

AGG公司

引用于71份文件(1994–2023)
软件作者: 加布里埃尔·坦泽尔
相关软件: 沟槽;进度;AToM3…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

进展

52篇文献引用(1994–2022)
软件作者: 曼弗雷德·穆奇;安迪·舒尔(Andy Schürr);安德烈亚斯·温特。
相关软件: AGG;富贾巴;VIATRA2…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

沟槽

48篇文献引用(2004–2023)
软件作者: Kastenberg,H.,Rensink,A。
相关软件: AGG;自旋蛋白;GrGen…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

A至M3

18篇文献引用(2002–2021)
软件作者: 胡安·德·拉腊(Juan de Lara);汉斯·旺格鲁
相关软件: AGG;VIATRA2;进度…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

威特拉2

18篇文献引用(2006–2019)
软件作者: 达尼尔·瓦罗;安德烈·巴洛夫
相关软件: 进度;AGG;图形转换基准…
主要字段: 计算机科学(68-XX)

DACTL公司

28篇文献引用(1987–2015)
软件作者: John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep
相关软件: 迭戈;进度;蒙斯特…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);范畴理论;同调代数(18-XX)…

变身

23篇文献引用(2012–2023)
软件作者: 托尔斯滕·阿伦特;恩里科·比尔曼;斯特凡·尤拉克;克里斯蒂安·克劳斯(Christian Krause);加布里埃尔·坦泽尔
相关软件: AGG;沟槽;GrGen…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

打开AD/F

23篇文献引用(2007–2022)
软件作者: Jean Utke;乌韦·诺曼;Mike Fagan;内森·塔伦特;米歇尔·米尔斯(Michelle Mills),斯特劳特(Strout);帕特里克·亨巴赫(Patrick Heimbach);克里斯·希尔(Chris Hill);卡尔·温施
相关软件: 锥体;ADIFR;ADOL-C…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

VPM公司

4份文件引用(2005–2007)
软件作者: Dániel Varró,安德拉斯·帕塔里扎
相关软件: VIATRA2;进度;AGG…
主要字段: 计算机科学(68-XX)

时刻2

9份文件引用(2010–2016)
软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基
相关软件: 莫德;ITP/OCL;托勒密…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

富勒烯

9份文件引用(2016–2021)
软件作者: P.Schwerdtfeger、L.Wirz、J.Avery
相关软件: 福贵;超化学;岩浆…
主要字段: 组合数学(05-XX);几何(51-XX);凸和离散几何(52-XX)…

MOFLON公司

1份文件引用(2006)
软件作者: Amelunxen,C.、Königs,A.、Rötschke,T.、Schürr
相关软件: 聚四氟乙烯;进度;AGG…
主要字段: 计算机科学(68-XX)

DryadLINQ公司

4份文件引用(2012–2018)
软件作者: Yu,Y。;Isard,M。;费特利,D.等人
相关软件: MapReduce;Dryad公司;Hadoop…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);统计力学,物质结构(82-XX)

j现实

6篇文献引用(2006–2017)
软件作者: Gunn,C.,Hoffmann,T.,Schmies,M.,Weissmann,S
相关软件: 多品牌;灰姑娘;PovRay…
主要字段: 代数几何(14-XX);几何(51-XX);凸和离散几何(52-XX)…

EAGO.jl公司

6篇文献引用(2022–2023)
软件作者: Wilhelm ME,Stuber医学博士
相关软件: 朱莉娅;libMC;MAiNGO…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

鸡蛋

4份文件引用(2021–2023)
软件作者: Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha
相关软件: CatLib;同意;Verigraph…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

伟大的

3份文件引用(2012–2016)
软件作者: Daniel Balasubramanian、Anantha Narayanan、Christopher van Buskirk、Gabor Karsai
相关软件: 莫德;AToM3;VIATRA2…
主要字段: 计算机科学(68-XX)

玫瑰色

4份文件引用(2003–2010)
软件作者: 丹·昆兰
相关软件: SUIF;GAMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

超级胶水

3份文件引用(2021–2022)
软件作者: 保尔·伊杜亚德·萨林、丹尼尔·德通、托马斯·马利西维奇、安德鲁·拉比诺维奇
相关软件: D2-Net;上下文描述;ASL加热…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

SiTra公司

1份文件引用(2020年)
软件作者: Akehurst,D.H.,Bordbar,B.,Evans,M.J.,Howells,W.G.J.,McDonald-Maier,K.D。
相关软件: UML2合金;Z;AGG…
主要字段: 计算机科学(68-XX)

闪烁填充

1份文件引用(2020年)
软件作者: 里沙布·辛格
相关软件: FlashMeta;推断。网络;z3…
主要字段: 计算机科学(68-XX)

图形生成

1份文件引用(2023)
软件作者: K.Xirogiannopoulos、V.Srinivas、A.Deshpande
相关软件: 奈亚德;利格拉;GraphBolt…
主要字段: 计算机科学(68-XX)

GRoundTram公司

2份文件引用(2015–2018)
软件作者: Hidaka,S.、Hu,Z.、Inaba,K.、Kato,H.、Nakano,K。
相关软件: 取消QL
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

极地的

2份文件引用(2013–2019)
软件作者: 多米尼克·迪特里希;伊恩·怀特塞德;大卫·阿斯皮纳尔
相关软件: 精益;马蒂塔;开放理论…
主要字段: 计算机科学(68-XX)

PowerMethod(功率方法)

1份文件引用(2017)
软件作者: Todd Headrick;盛燕燕;弗拉维乌·阿德里安·霍迪斯
相关软件: Mathematica;Matlab;SEPath…
主要字段: 统计学(62-XX)

REforDI公司

1份文件引用(2002)
软件作者: 克雷默,卡加;安德烈·马伯格;伯恩哈德·韦斯特费赫特尔
相关软件: 进度;GRAS;图形转换基准…
主要字段: 计算机科学(68-XX)

双标图

在0个文档中引用
软件作者: 伊利亚·利普科维奇;埃里克·史密斯
相关软件: 擅长
主要字段:

Cobol变压器

1份文件引用(2005)
软件作者: Siber系统公司。
相关软件: ASF+SDF;钴醇;佩尔
主要字段: 计算机科学(68-XX)

弗雷格尔

1份文件引用(2022)
软件作者: 岩崎、秀霞;肯托州埃莫托;森田、秋叶;松崎,Kiminori;胡镇江
相关软件: SympleGraph;美人鱼;PathGraph…
主要字段: 计算机科学(68-XX)

迁移

1份文件引用(2021)
软件作者: 迪奥戈·拉斐尔·克拉沃;莱拉·里贝罗
相关软件: APIDiff;Verigraph公司
主要字段: 计算机科学(68-XX)

NScale园区

1份文件引用(2022)
软件作者: 夸马,A。;Deshpande,A。
相关软件: SympleGraph;美人鱼;PathGraph…
主要字段: 计算机科学(68-XX)

PicXAA-R公司

1份文件引用(2015)
软件作者: 撒哈拉SM,Yoon BJ
相关软件: ARB;EMBOSS;最小值…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

ReNView(重新查看)

在0个文档中引用
软件作者: 乌迪特·古普塔;迪奥尼修斯·维拉科斯
相关软件: 格拉夫维兹;OpenSMOKE++;坎特拉…
主要字段:

rsppfp

在0个文档中引用
软件作者: 梅利娜·维多尼;阿尔多·维切蒂
相关软件: ggplot2;WGCNA;图表…
主要字段:

筛选结果依据…

全部的 前5名

相关软件