文献
J-GLOBAL ID：202002237217477521   整理番号：20A1714395

GeoGebraを用いた数学的証明【JST・京大機械翻訳】

Mathematical Proving Using GeoGebra
  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1714395&from=J-GLOBAL&jstjournalNo=D0698C") }}
著者 (3件)：
Iwama Fumiya

Iwama Fumiya について

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

Graduate School of Natural Science, Konan University, Okamoto, Higashinad Kobe, Hyogo, JAPAN について

, 
Shinoda Yuji

Shinoda Yuji について

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

Center for Education in General Studies, Konan University, Okamoto, Higashinada Kobe, Hyogo, JAPAN について

, 
Takahashi Tadashi

Takahashi Tadashi について

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

Department of Intelligence and Informatics, Konan University, Okamoto, Higashinada Kobe, Hyogo, JAPAN について


資料名：
ACM Proceedings  (ACM Proceedings)

ACM Proceedings について


号： ICIET 2020  ページ： 127-130  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,GeoGebraが数学的証明のためにGeoGebraを用いることの意義と実現可能性を提供でき,考慮できる証明関数のタイプを調べた。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
*ソフトウェア

ソフトウェア について


著者キーワード (3件)：
自動証明

自動証明 について

, 
GeoGebra

GeoGebra について

, 
数学ソフトウェア

数学ソフトウェア について

分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
数学

数学 について

, 
証明

証明 について


前のページに戻る

TOP

BOTTOM