LiteRed公司 160篇文献引用(2013–2024) 软件作者: R·李 相关软件: 火灾;雷杜泽;消防5… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
蓝铜矿 29篇文献引用(2017–2024) 软件作者: 亚历山德罗·乔治迪斯、卡斯珀·拉森、杨张 相关软件: 雷杜泽;火灾;LiteRed… 主要字段: 常微分方程(34-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
Feyn助手 15篇文献引用(2017–2024) 软件作者: 弗拉迪斯拉夫·什塔博文科 相关软件: FeynCalc;包装-X;FeynArts… 主要字段: 代数拓扑(55-XX);粒子和系统力学(70-XX);量子理论(81-XX)…
$分开 9份文件引用(2012–2023) 软件作者: 冯,冯 相关软件: 分开;形式;A第2部分… 主要字段: 实函数(26-XX);动力系统与遍历理论(37-XX);欧氏空间的调和分析(42-XX)…
iBP公司 10篇文献引用(2018–2022) 软件作者: 布拉德利·沃利;弗洛伦特·德霍梅尔;科迪耶,佛罗伦萨;Thérèse E.Malliavin。;本杰明·巴迪奥(Benjamin Bardiaux);尼古拉斯·沃尔夫(Nicolas Wolff);Michael Nilges;拉沃尔、卡莱尔;利贝蒂,利奥 相关软件: 中枢神经系统;LIGA;GitHub… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX);计算机科学(68-XX)…
数据优化IBP 3份文件引用(2009–2012) 软件作者: Viorel Preoteasa;拉尔夫·约翰回来 相关软件: Isabelle/HOL;Deutsch Schorr Waite;存档正式证据 主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)
NeatIBP公司 2份文件引用(2023–2024) 软件作者: Z.Wu、J.Böhm、R.Ma、H.Xu、Y.Zhang 相关软件: FiniteFlow;SpaSM;LiteRed… 主要字段: 数值分析(65-XX);量子理论(81-XX)
区域服务提供商 2份文件引用(2013年) 软件作者: 缪政,曹毅,姜涛。 相关软件: 洛利;ASP;QTFier… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
WUFI公司 2份文件引用(2017–2019) 软件作者: 弗劳恩霍夫IBP 相关软件: IBPT;ode45;MATLAB ODE套件… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)…
重建。米 1份文件引用(2023) 软件作者: Belitsky,A.V。;斯米尔诺夫,A.V。;雅科夫列夫,R.V。 相关软件: LiteRed;火灾;FiniteFlow… 主要字段: 拓扑群,李群(22-XX);几个复变量与解析空间(32-XX);功能分析(46-XX)…