Ghourabi Fadoua ゴーラビファドワ

ORCID

Connect your ORCID iD *help

Researcher Number	30709324
Other IDs
Affiliation (based on the past Project Information) *help	2016 – 2020: お茶の水女子大学, 理学部, 学部教育研究協力員
Review Section/Research Field	Except Principal Investigator Theory of informatics
Keywords	Except Principal Investigator 計算折紙の理論とソフトウェアシステム / Geometric Algebra / 自動定理証明 / 計算幾何学 / 記号計算 / 記号代数計算 / 書き換えシステム / 計算折紙 / 幾何代数 / geometric algebra … More / 折紙定理証明 / 立体折紙 / 折紙の形式化 / 折紙 / 幾何定理証明 / 記号代数 / 計算理論 / 計算幾何 / 幾何定理自動証明 / 立体モデル化 Less

Geometric Algebraを核とする折紙計算論の展開
- Principal Investigator
  
  井田哲雄
- Project Period (FY)
  2016 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  University of Tsukuba

All Journal Article

[Journal Article] Toward non-flat geometrical origami folds with Eos system2018
- Author(s)
  Fadoua Ghourabi
- Journal Title
  
  SYNASC 2017, post-proceedings
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00008
[Journal Article] A New Formalization of Origami in Geometric Algebra2016
- Author(s)
  Tetsuo Ida, Jacques Fleuriot, Fadoua Ghourabi
- Journal Title
  
  Proceedings of ADG 2016: Eleventh International Workshop on Automated Deduction in Geometry
  
  Volume: hal-01334334
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00008

1. 井田哲雄 (70100047)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results