课题基金 / 基金详情

Towards 3D computational oeigami - theory and software development

Towards 3D computational oeigami - theory and software development
迈向 3D 计算 oeigami - 理论和软件开发
批准号：
25330007
负责人：
IDA Tetsuo
金额：
$2.66万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25330007/
关键词：
計算モデル論計算折紙立体折紙記号計算自動定理証明ソフトウェア検証計算幾何折紙幾何定理の自動証明Geometric Algebra計算理論幾何定理自動証明立体モデル化折紙の理論幾何代数定理証明支援系折紙ソフトウェアプログラム検証

项目摘要

项目成果

IDA Tetsuo的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formalizing Polygonal Knot Origami
形式化多边形结折纸
DOI： 10.1016/j.jsc.2014.09.031
发表时间： 2014
期刊： Journal of Symbolic Computation
影响因子： 0.7
作者： [Fujita H, Yagishita N, Aratani S, Nishioka K, Nakajima T, Tetsuo Ida and Fadoua Ghourabi and Kazuko Takahashi]
通讯作者： Tetsuo Ida and Fadoua Ghourabi and Kazuko Takahashi
The 7th International Symposium on Symbolic Computation in Software Science
第七届软件科学符号计算国际研讨会
DOI： --
发表时间： 2016
期刊：
影响因子： --
作者： []
通讯作者：
ティミショアラ西大学(ルーマニア)
蒂米什瓦拉西部大学（罗马尼亚）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Eos Project
EOS项目
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 13 条
    Development of methods for computational origami based on geometric algebra
    • 批准号：
      16K00008
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2016
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    Formalization of origami and origami-programming based on algebraic graph rewriting
    • 批准号：
      22650001
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.1万
    • 财政年份：
      2010
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    Modeling and verification of web software based on theories symbolic computation
    • 批准号：
      20300001
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $12.23万
    • 财政年份：
      2008
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    Symbolic Computation and Symbolic Computing Grid Based on the Interaction of Provers, Solvers and Reduces
    • 批准号：
      17300004
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $7.42万
    • 财政年份：
      2005
    • 负责人：
      IDA Tetsuo
    • 依托单位：
      University of Tsukuba
    海外基金