ゴーラビファドワ

Ghourabi Fadoua

ホームページURL (1件)： https://github.com/Fadouagh/Eos

研究分野 (2件)：知能情報学 , 情報学基礎論

研究キーワード (5件)： Software science , Automated reasoning , Computational origami , Mathematical logic , Theorem proving

論文 (17件)：

Toward non-flat geometrical origami folds with Eos system. Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017). 2018. 75-79
What does qualitative spatial knowledge tell about origami geometric folds?. Proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018). 2018. LNAI 11110. 139-154
Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons. Origami$^6. 2016. 1. 55-67
A new formalization of origami in geometric algebra. Proceedings of the 11 International Workshop on Automated Deduction in Geometry (ADG 2016). 2016. 117-136
ゴーラビファドワ. Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL. Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015). 2015. 530-539

学位 (1件)：

経歴 (4件)：

受賞 (2件)：

2013/12 - School of Science and Technology, Kwansei Gakuin University The Haruka Yamada Award for female researchers in science and technology
2005/04 - Ministry of Education, Culture, Sports, Science and Technology (MEXT) Monbukagakusho Scholarship

所属学会 (1件)：

Association for computing Machinery (ACM)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

ゴー ラビファドワ