関数方程式の解に対する効率的な計算機援用「非」存在証明法の開発
詳細情報
| 科研費研究課題/領域番号 | 23K03237 [ KAKENで見る ] |
|---|---|
| 種目 | 基盤研究(C) |
| 採択年度 | 2023 |
| 代表者氏名 | 関根 晃太 |
| 採択時の代表者所属 | 千葉工業大学 情報科学部 准教授 |
| 代表者の科研費研究者番号 | 80732239 |
| 科研費審査区分（中区分） | 12 （解析学、応用数学） |
| 分析データ 推定科研費審査区分（中区分） | 12 （解析学、応用数学） |
| 分析データ クラスタ | 1 （データサイエンス/情報数学・離散数学・数値計算） |