高效精确实数计算的可计算分析与验证研究-猫眼课题宝

高效精确实数计算的可计算分析与验证研究

批准号：

24K20735

负责人：

THIES HOLGER

金额：

$3.0万

依托单位：

Kyoto University

依托单位国家：

日本

项目类别：

Grant-in-Aid for Early-Career Scientists

财政年份：

2024

资助国家：

日本

项目状态：

未结题

起止时间：

2024-04-01 至 2029-03-31

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24K20735/

关键词：

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

Computational complexity and practice of verified and efficient algorithms for dynamical systems

批准号：

20K19744
项目类别：

Grant-in-Aid for Early-Career Scientists
资助金额：

$2.75万
财政年份：

2020
负责人：

THIES HOLGER
依托单位：

Kyoto University (2021-2022)Kyushu University (2020)

Towards efficient solvers for ordinary differential equations in exact real arithmetic

批准号：

18J10407
项目类别：

Grant-in-Aid for JSPS Fellows
资助金额：

$1.22万
财政年份：

2018
负责人：

THIES HOLGER
依托单位：

Kyushu University