Art
J-GLOBAL ID：202002237217477521   Reference number：20A1714395

Mathematical Proving Using GeoGebra

GeoGebraを用いた数学的証明【JST・京大機械翻訳】
Author (3)：
Iwama Fumiya

About Iwama Fumiya

(Graduate School of Natural Science, Konan University, Okamoto, Higashinad Kobe, Hyogo, JAPAN)

About Graduate School of Natural Science, Konan University, Okamoto, Higashinad Kobe, Hyogo, JAPAN

, 
Shinoda Yuji

About Shinoda Yuji

(Center for Education in General Studies, Konan University, Okamoto, Higashinada Kobe, Hyogo, JAPAN)

About Center for Education in General Studies, Konan University, Okamoto, Higashinada Kobe, Hyogo, JAPAN

, 
Takahashi Tadashi

About Takahashi Tadashi

(Department of Intelligence and Informatics, Konan University, Okamoto, Higashinada Kobe, Hyogo, JAPAN)

About Department of Intelligence and Informatics, Konan University, Okamoto, Higashinada Kobe, Hyogo, JAPAN


Material：
ACM Proceedings

About ACM Proceedings


Issue： ICIET 2020  Page： 127-130  Publication year： 2020 
JST Material Number： D0698C  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
In this paper, we examine the ...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1714395&from=J-GLOBAL&jstjournalNo=D0698C") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
*software

About software


Author keywords (3)：
Automated proving

About Automated proving

, 
GeoGebra

About GeoGebra

, 
Mathematical software

About Mathematical software

JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
数学

About 数学

, 
証明

About 証明


Return to Previous Page

TOP

BOTTOM