Certified exact real computation on hyperspaces
Certified exact real computation on hyperspaces
复制标题
超空间上经过认证的精确真实计算
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Holger Thies
中科院分区：
文献类型：
--
作者：
Michal Konecny;Sewon Park;Holger Thies
登录
查看更多内容
位置和明显的子区域
影响因子：
0.8
作者：
Bas Spitters
通讯作者：
Bas Spitters
欧几里得空间子集的可计算性 I：闭子集和紧子集
影响因子：
1.1
作者：
V. Brattka;K. Weihrauch
通讯作者：
K. Weihrauch
来自可计算分析证明的经过认证的高效程序
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Naoki Marumo;Takayuki Okuno;Akiko Takeda;桑原 貴之，田村 優衣 ，久保 南実，松本 卓也，陳 瀟瀟，柚木 啓輔，渡邊 龍憲，桐本 光;Holger Thies
通讯作者：
Holger Thies
用于实分析的 lambda 演算
DOI：
10.4115/jla.2010.2.5
发表时间：
2010
期刊：
--
影响因子：
--
作者：
P. Taylor
通讯作者：
P. Taylor
用于 ODE 和 DAE 的区间工具
DOI：
10.1109/scan.2006.28
发表时间：
2006
期刊：
12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006)
影响因子：
--
作者：
N. Nedialkov
通讯作者：
N. Nedialkov