阿贝拉 57篇文献引用(2008–2023) 软件作者: 安德鲁·加塞克 相关软件: Twelf;白鲸;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
清洁 56篇文献引用(1987–2016) 软件作者: 医学博士Plasmeijer。 相关软件: 哈斯克尔;米兰达;闪光… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
MediaBench公司 16篇文献引用(2001–2016) 软件作者: Lee,C.,Potkonjak,M.,Mangione-Smith,W.H。 相关软件: MiBench公司;简单标尺;瓦奇… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统理论;控制(93-XX)…
多线性引擎 33篇文献引用(2002–2022) 软件作者: 彭蒂·帕特罗 相关软件: 张量工具箱;Matlab;PARAFAC… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
雪崩。(f) 21篇文献引用(2001年至2022年) 软件作者: Koch,Othmar;埃瓦州维努勒 相关软件: bvpsuite;私人银行;COLSYS… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
GenSSI公司 引用于20份文件(2013–2023) 软件作者: Chis O、Banga J、Balsa-Canto E 相关软件: 雏菊;西安;COMBOS… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…
DNA序列生成器 10篇文献引用(2002–2014) 软件作者: 费尔德坎普,乌多;萨哈菲(Sam Saghafi);沃尔夫冈·班扎夫;希尔马尔·劳赫 相关软件: 打孔;R(右) 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
STR公司 引用于9份文件(2019–2022) 软件作者: 米开朗基罗·普雷蒂 相关软件: 无线局域网;火灾5;数学软件 主要字段: 统计学(62-XX);粒子和系统力学(70-XX);量子理论(81-XX)
有限自动机HF 7份文件引用(2015–2020) 软件作者: 劳伦斯·保尔森 相关软件: 遗传有限集;Coq;Myhill-Nerode… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
欧洲、中东和非洲 5份文件引用(2019–2023) 软件作者: 弗拉基米尔·德沃金;贾拉尔·卡泽姆普尔;皮埃尔·平森 相关软件: github;JuMP公司 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
图形状态 6篇文献引用(2015–2023) 软件作者: D.Batkovich、Y.Kirienko、M.Kompirets、S.Novikov 相关软件: Loopia;RStar;Mincer… 主要字段: 偏微分方程(35-XX);近似和展开(41-XX);计算机科学(68-XX)…
相互作用方程吸引流形 6篇文献引用(2022–2023) 软件作者: 弗朗西斯科·帕塔奇尼。;德扬·斯莱普切夫 相关软件: MOEA/D;CuPy;Matplotlib… 主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…
gNCA公司 4份文件引用(2009–2010) 软件作者: Linh M.Tran;Mark P.Brynildsen;Katy C.Kao;Jason K.Suen;詹姆斯·利娅 相关软件: 材料检查器;项目管理局;布伦达… 主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
cSEM公司 3份文件引用(2021–2023) 软件作者: Manuel E.Rademaker、Florian Schuberth、Tamara Schamberger、Michael Klesel、Theo K.Dijkstra、Jörg Henseler 相关软件: R;智能PLS;semPLS… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX)
Dubins浏览器 3份文件引用(2015–2020) 软件作者: 阿亚拉,J。;J·迪亚兹。 相关软件: – 主要字段: 微分几何(53-XX);流形和细胞复合体(57-XX);整体分析,流形分析(58-XX)…
地图DE 3份文件引用(2019–2021) 软件作者: 穆罕默德·扎赫拉;格雷戈里·里德。;黄,Tracy Shih-lung 相关软件: 微分几何;宝石;向量场的李代数… 主要字段: 场论与多项式(12-XX);偏微分方程(35-XX);计算机科学(68-XX)
手术室/SM 3份文件引用(1997–2005) 软件作者: 戈登·赖特(Gordon P.Wright)。;N.Dan,Worobetz;康、明;拉德哈·穆克吉(Radha V.Mookerjee)。;拉德哈·钱德拉塞卡兰 相关软件: GAMS;AMPL;近地天体… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
Stern-Brocot树 3份文件引用(2016–2017) 软件作者: 彼得·甘米(Peter Gammie);安德烈亚斯·洛赫比勒 相关软件: 存档正式证据;Isabelle/HOL;霍尔… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
熊 在0个文档中引用 软件作者: Fernanda Madeiral、Simon Urli、Marcelo Maia、Martin Monperrus 相关软件: Bugbench;JUnit公司;GitHub… 主要字段: –
CellFIT公司 引用于2份文件(2018年至2019年) 软件作者: Brodland G W、Veldhuis J H、Kim S、Perrone M、Mashburn D和Hutson M S 相关软件: PhysiCell;VirtualLeaf;LBIB单元 主要字段: 可变形固体力学(74-XX);生物学和其他自然科学(92-XX)
执行者ERL 引用于2份文件(2022–2023) 软件作者: 沃尔特·卡佐拉(Walter Cazzola);弗朗西斯科·塞萨里尼;卢卡·坦西尼 相关软件: SCEL;CARMA公司;JMeter… 主要字段: 计算机科学(68-XX)
利福西姆 引用于2份文件(2018–2020) 软件作者: Maplesoft软件 相关软件: 枫树;外部 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);流体力学(76-XX)…
代码唯一性 1份文件引用(2019) 软件作者: Andries E.Brouwer。;斯文·波拉克。 相关软件: 鹦鹉螺;github;踪迹 主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
埃尔米特 1份文件引用(2022) 软件作者: 何塞·迪瓦森;杰苏斯·阿兰塞 相关软件: 伊莎贝尔;Kenzo;传输… 主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)
InteriorNet公司 在0个文档中引用 软件作者: 李文斌、萨贾德·赛义迪、约翰·麦科马克、罗纳德·克拉克、迪莫斯·祖马尼卡斯、青叶、黄玉忠、唐瑞、斯特凡·卢特内格 相关软件: 点SIFT;VoxNet;PointNet… 主要字段: –
SFS公司 1份文件引用(2022) 软件作者: 劳尔森(Laursen,Ragnhild);阿斯格·霍博尔特 相关软件: github;签署人;FACPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)
史密斯_标准_表格 1份文件引用(2022) 软件作者: 何塞·迪瓦森 相关软件: 伊莎贝尔;Kenzo;传输… 主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)
SPNET公司 1份文件引用(2018) 软件作者: 西蒙·卡塞斯;法比奥·卡米利;卢西拉·科里亚斯 相关软件: – 主要字段: 偏微分方程(35-XX);算子理论(47-XX);变分法与最优控制;优化(49-XX)…