Art

J-GLOBAL ID：200902264018759135   Reference number：07A1143339

A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing

自動化定理発見と自動化問題提案への協調的グリッドコンピューティング手法

Author (4)： CHENG Jingde (Saitama Univ., Saitama, JPN) ,  GOTO Yuichi (Saitama Univ., Saitama, JPN) ,  NARA Shinsuke (Saitama Univ., Saitama, JPN) ,  KOH Takahiro (Saitama Univ., Saitama, JPN)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 4693  Page： 840-851  Publication year： 2007 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Terms in the title (7)： 自動化 ,  定理 ,  発見 ,  提案 ,  協調 ,  グリッドコンピューティング ,  手法