课题基金 / 基金详情

Development of methods for computational origami based on geometric algebra

Development of methods for computational origami based on geometric algebra
基于几何代数的计算折纸方法的发展
批准号：
16K00008
负责人：
IDA Tetsuo
金额：
$2.91万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00008/
关键词：
記号計算Geometric Algebra折紙計算論折紙プログラミング計算折紙システム自動定理証明計算幾何学計算折紙geometric algebra折紙幾何学計算折紙の理論とソフトウェアシステム記号代数計算書き換えシステム幾何代数折紙定理証明立体折紙折紙の形式化折紙幾何定理証明記号代数計算理論計算幾何幾何定理自動証明立体モデル化

项目摘要

项目成果

IDA Tetsuo的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
ウオータルー大学(カナダ)
滑铁卢大学（加拿大）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
A New Modeling of Classical Folds in Computational Origami
计算折纸中经典折叠的新建模
DOI： 10.4204/eptcs.352.5
发表时间： 2021
期刊： EPTCS
影响因子： --
作者： [Tetsuo Ida　and Hidekazu Takahashi]
通讯作者： Tetsuo Ida　and Hidekazu Takahashi
2022 Wolfram Innovator賞　受賞者
2022 年 Wolfram 创新者奖获得者
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Virtual Origami
虚拟折纸
DOI： --
发表时间： 2022
期刊：
影响因子： --
作者： [Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi, Tetsuo Ida]
通讯作者： Tetsuo Ida
共 21 条
    Towards 3D computational oeigami - theory and software development
    • 批准号：
      25330007
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.66万
    • 财政年份：
      2013
    • 负责人：
      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
    海外基金