×

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

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)

筛选结果依据…

全部的 前5名

相关软件