×

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

AGG公司

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

沟槽

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

8月2日

10篇文献引用(2006–2020)
软件作者: 巴巴拉·科尼格;维塔利·科齐奥拉
相关软件: 沟槽;自旋蛋白;检查VML…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

UML2合金

6篇文献引用(2008–2015)
软件作者: Anastasakis,K.、Bordbar,B.、Georg,G.、Ray,I
相关软件: HOL-OCL;莫德;ATL…
主要字段: 计算机科学(68-XX)

MDC-椭圆

12份文件引用(2010–2022)
软件作者: D.S.Lopes、M.T.Silva、J.A.Ambrósio、P.Flores
相关软件: 联系人;照明设备;ABAQUS…
主要字段: 测量和集成(28-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

PyDMD公司

引用于9份文件(2016–2023)
软件作者: 演示,N。;特泽勒,M。;G.罗扎。
相关软件: HODMD;蟒蛇;odmd…
主要字段: 偏微分方程(35-XX);动力学系统和遍历理论(37-XX);算子理论(47-XX)…

时刻2

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

Verigraph公司

引用于9份文件(2016–2023)
软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多
相关软件: AGG;同意;Henshin…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

格雷兹

6篇文献引用(2014–2020)
软件作者: Bruggink HJS、König B、Zantema H。
相关软件: MedOlDatschgerl;z3;凹槽…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

模型转换工具

6篇文献引用(1999–2020)
软件作者: 彼得·加思罗普
相关软件: MTT;Matlab;科学实验室…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX);数值分析(65-XX)…

FIDE公司

4份文件引用(1989年至2012年)
软件作者: 里斯卡(R.Liska);L.Drsda博士
相关软件: QEPCAD;减少;重新记录…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

索瓦

5份文件引用(2008–2019)
软件作者: D.马龙。
相关软件: wmtsa;W2CWM2C;StFinMetrics…
主要字段: 动力学系统和遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…

线性调频广播

3份文件引用(2003–2005)
软件作者: 费尔南多·达马托;马里奥·罗提亚
相关软件: LMI工具箱;SDPT3;优化软件基准…
主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

节点

3份文件引用(1992–1997)
软件作者: M.科杜蒂。
相关软件: 格罗布纳;ODEPAINLEVE;马西玛…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)

生物物理

1份文件引用(2017)
软件作者: 沃斯,R.A。;Caravas,J。;哈特曼,K。;Jensen,文学硕士。;C.米勒。
相关软件: PERL;Matlab;猿…
主要字段: 生物学和其他自然科学(92-XX)

鲍嘉

2份文件引用(1999–2010)
软件作者: Feldman,Yishai A。;多龙·A·弗里德曼。
相关软件: 费马;组成;曼德拉…
主要字段: 计算机科学(68-XX)

AGoM博士

2份文件引用(2019–2020)
软件作者: 诺尔特·D·。
相关软件: 沟槽;AGG;格雷兹…
主要字段: 计算机科学(68-XX)

FAIS公司

2份文件引用(2002–2012)
软件作者: Ted E.Senator、Henry G.Goldberg、Jerry Wooton、Matthew A.Cottini、A.F.Umar Khan、Christina D.Klinger、Winston M.Llamas、Michael P.Marrone、Raphael W.H.Wong
相关软件: RSiena公司;lda;PRMLT…
主要字段: 统计学(62-XX);计算机科学(68-XX)

著名

2份文件引用(2018–2019)
软件作者: Hanss,M.,Walz,N.P.,斯图加特大学
相关软件: 莫伦布;Matlab公司
主要字段: 常微分方程(34-XX);近似和扩展(41-XX);数值分析(65-XX)…

麦道

1份文件引用(2013)
软件作者: Jonathan Bogdoll、Alexandre David、Arnd Hartmanns、Holger Hermanns
相关软件: Uppaal;PHAVer;SpaceEx…
主要字段: 计算机科学(68-XX)

Proteus公司

2份文件引用(2007–2010)
软件作者: 丹尼尔·沃丁顿(Daniel Waddington);姚斌
相关软件: CIL;TXL;Stratego…
主要字段: 计算机科学(68-XX)

DI要求

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

圣人++

2份文件引用(2003–2010)
软件作者: François Bodin、Peter Beckman、Dennis Gannon、Jacob Gotwals、Srinivas Narayana、Suresh Srinivas、Beata Winnicka
相关软件: 棒 极 了;STLlint;ParaWise…
主要字段: 计算机科学(68-XX)

JComp公司

在0个文档中引用
软件作者: Shimin,L.、Tahvildari,L。
相关软件: ——
主要字段: ——

速度3D

1份文件引用(2022)
软件作者: 配套元件
相关软件: 硝酚;Amesos2;CUDA…
主要字段: 数值分析(65-XX);流体力学(76-XX)

普鲁克萨斯

1份文件引用(2022)
软件作者: 孟凡旺;Michael Richer;阿利雷扎·特赫拉尼;La,Jonathan;Kim,Taewon David;保罗·艾尔斯(Paul W.Ayers)。;法尔纳斯·海达尔·扎德
相关软件: SciPy;蟒蛇
主要字段: 数值分析(65-XX)

文本Flint

在0个文档中引用
软件作者: 陶贵、小王、张琦、刘琴、邹一成、周欣、郑瑞、张冲、吴钦卓、叶嘉诚、庞泽雄、张永新、李正彦、马若天、费子初、蔡瑞坚、赵军、胡新武、阎志恒、谭一丁、袁虎、卞启元、刘志华、朱伯林、秦珊、邢晓宇、傅金兰、张岳、彭敏龙、,郑晓庆、周亚谦、魏忠玉、邱喜鹏、黄宣景
相关软件: ELECTRA公司;spaCy;文本攻击…
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件