研究費
科研費 若手研究 代表者
科研費 若手研究 代表者
課題:実計算代数手法に関する効率化と数理科学分野への応用
期間:2020/04 - 2023/03
科研費 若手研究 (B) 代表者
科研費 若手研究 (B) 代表者
課題:包括的グレブナー基底系による限量子消去の効率化
期間:2017/04 - 2021/03
課題:実計算代数手法に関する効率化と数理科学分野への応用
期間:2020/04 - 2023/03
課題:包括的グレブナー基底系による限量子消去の効率化
期間:2017/04 - 2021/03