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)…
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)
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)
圣人++ 2份文件引用(2003–2010) 软件作者: François Bodin、Peter Beckman、Dennis Gannon、Jacob Gotwals、Srinivas Narayana、Suresh Srinivas、Beata Winnicka 相关软件: 棒 极 了;STLlint;ParaWise… 主要字段: 计算机科学(68-XX)
普鲁克萨斯 1份文件引用(2022) 软件作者: 孟凡旺;Michael Richer;阿利雷扎·特赫拉尼;La,Jonathan;Kim,Taewon David;保罗·艾尔斯(Paul W.Ayers)。;法尔纳斯·海达尔·扎德 相关软件: SciPy;蟒蛇 主要字段: 数值分析(65-XX)
文本Flint 在0个文档中引用 软件作者: 陶贵、小王、张琦、刘琴、邹一成、周欣、郑瑞、张冲、吴钦卓、叶嘉诚、庞泽雄、张永新、李正彦、马若天、费子初、蔡瑞坚、赵军、胡新武、阎志恒、谭一丁、袁虎、卞启元、刘志华、朱伯林、秦珊、邢晓宇、傅金兰、张岳、彭敏龙、,郑晓庆、周亚谦、魏忠玉、邱喜鹏、黄宣景 相关软件: ELECTRA公司;spaCy;文本攻击… 主要字段: ——