SIGMA公司 121篇文献引用(2004年至2024年) 软件作者: 卡斯滕·施耐德 相关软件: qZeil;评估多和;谐波和… 主要字段: 组合数学(05-XX);数论(11-XX);特殊功能(33-XX)…
钠5 24篇文献引用(1992年-2002年) 软件作者: Brezinski,C。;Redivo Zaglia,M。 相关软件: na1;CGS;BiCGstab… 主要字段: 近似和扩展(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…
短吻鳄 12份文件引用(2008–2023) 软件作者: 劳拉·科瓦奇 相关软件: Mathematica;fastZeil;Aligator.jl… 主要字段: 组合数学(05-XX);场论与多项式(12-XX);交换代数(13-XX)…
陆军部 引用于7份文件(2016–2022) 软件作者: 弗洛恩,F。;Naaf,M。;亨塞尔,J。;Brockschmidt,M。;J·吉斯尔。 相关软件: z3;github;TPDB… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
r-TuBound公司 1份文件引用(2017) 软件作者: Jens Knoop;劳拉·科瓦奇(Laura Kovács);雅各布兹维奇梅尔 相关软件: Smacc;STP;小泽… 主要字段: 计算机科学(68-XX)
鳄鱼 2份文件引用(2010年至2020年) 软件作者: 托马斯·亨辛格(Thomas A.Henzinger)。;Hottelier,Thibaud;劳拉·科瓦奇(Laura Kovács);安德烈·雷巴尔琴科 相关软件: z3;助推器;Daikon… 主要字段: 计算机科学(68-XX)
GCMFEM公司 2份文件引用(2022–2023) 软件作者: 亚历山大·古塞夫(Alexander A.Gusev)。;加尔满达克的楚鲁邦巴塔;奥赫巴德拉赫·楚鲁班巴塔尔;维尼茨基,塞尔格一世。;尤里·布林科夫(Yuri A.Blinkov)。;阿尔及尔达斯·德维基斯;彼得·O·赫斯。;海、良乐 相关软件: 哲学;Mathematica;DLMF… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);量子理论(81-XX)
Lazysets.jl公司 2份文件引用(2022) 软件作者: Forets,M。;席林,C 相关软件: NeuralPDE.jl;微分方程.jl;benchmoded… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
rec2正交 2份文件引用(2002–2019) 软件作者: Tom Koornwinder;雷内·斯瓦图 相关软件: 反击;枫树;DLMF… 主要字段: 特殊功能(33-XX);常微分方程(34-XX);数值分析(65-XX)
Absynth.jl公司 1份文件引用(2022) 软件作者: 安德烈亚斯·休门伯格(Andreas Humenberger);达内什瓦·阿姆罗拉希;尼古拉·比约纳;劳拉·科瓦奇 相关软件: z3(零3) 主要字段: 计算机科学(68-XX)