幾何の定理を計算機に証明させる試み : 呉文俊教授の成果 (数式処理と数学研究への応用)
スポンサーリンク
概要
著者
関連論文
-
ソフトウェア科学会第3回大会
-
教材構造モデルによる復習課題生成法の考察
-
『これからの算数・数学の授業で各種電卓をどう活用するか』(【特別部会 NO.4】)(高専・大学部会)(第83回全国算数・数学教育研究(埼玉)大会報告)
-
日数教(千葉)大会 高専・大学部会パネルディスカッション報告「数学教育におけるニューメディアの活用」
-
外国における教育状況
-
個別型学習環境と教授戦略に関する研究
-
個別型学習環境と問題解答過程に関する研究
-
Pade展開の係数の計算 (数値解析の基礎理論)
-
計算量--P≠NP?問題 (特集 いま欲しいブレークスルー)
-
実用数学技能検定について
-
実験整数論および組合せ理論と計算機
-
「不等式に関する」研究集会
-
「非線型方程式の数値解析」研究集会報告
-
暗号作成アルゴリズム (生成発展系--アルゴリズムとグラマ)
-
暗号における記号 (記号)
-
数学的構造とは何か (数学的構造)
-
数学科における計算機教育を考える〔含 質疑応答〕
-
星形正多面体の歴史 (数学史の研究)
-
球の充填問題 (数学史の研究)
-
数学史をいかに数学教育に活すか? : 随想と提言 (数学史の研究)
-
Nicholas J. Higham著, Accuracy and Stability of Numerical Algorithms, SIAM, 1996, pp.xxviii+688
-
数値積分に関する注意(応用数理の遊歩道(8))
-
実験を通した数学教育(応用数理の遊歩道(7))
-
三角形と四面体(応用数理の遊歩道(6))
-
数学者の論理に合った電卓(応用数理の遊歩道(5))
-
数式処理による2変数代数曲面の追跡Hessianが零になる点の近傍の状態(数式処理における理論とその応用の研究)
-
杉原正顕・室田一雄著, 数値計算法の数理, 岩波書店, 1994, 334pp.
-
Malfattiの問題について(数値計算アルゴリズムの現状と展望II)
-
「証明は死んだ」のか?
-
数論アルゴリズムの研究動向 ( 数論アルゴリズムとその応用)
-
縮退超立方体と正軸体のいくつかの性質について
-
根方向型語彙機能文法の正データからの学習(理論計算機科学とその周辺)
-
曲線の長さをめぐって
-
応用数学関係(ICM-90印象記)
-
ICME-9に出席して
-
ICME-9 に出席して
-
25 大学理工系数学の必要範囲 : 数検1級の出題範囲
-
米国の名門高等学校を参観して
-
米国の名門高等学校を参観して
-
大学数学教育(理工系)の標準内容 : 数検1級の出題範囲
-
大学数学教育(理工系)の標準内容 : 数検1級の出題範囲
-
シンポジウム : 「数式処理ソフト・グラフ電卓が数学教育へ与える影響について」
-
数式処理ソフト・グラフ電卓が数学教育へ与える影響について
-
算数・数学のよさ美しさ
-
プログラミングシンポジウムGPCCのゲームとパズル
-
数学教育に対する電卓の活用
-
多項式の既約性について (数学とくに整数論,組合せ問題などの超大型計算)
-
新しいMersenne素数 (実験整数論)
-
絶対単調数列に関する性質 (不等式に関する研究)
-
数学科学生のための計算機概論-19-符合系の理論
-
数学科学生のための計算機概論-16-計算機の構造-1-
-
数学科学生のための計算機概論-18-図形処理概論
-
数学科学生のための計算機概論-17-計算機の構造-2-
-
数学科学生のための計算機概論-15-数式処理-4-
-
数学科学生のための計算機概論-14-数式処理-3-
-
数学科学生のための計算機概論-13-数式処理-2-
-
数学科学生のための計算機概論-12-(7)数式処理-1-
-
数学科学生のための計算機概論-11-算法と計算量-4-
-
数学科学生のための計算機概論-10-算法と計算量-3-(Introduction to Computing)
-
数学科学生のための計算機概論-9-(6)算法と計算量-2-
-
数学科学生のための計算機概論-8-算法と計算量-1-ソ-テイング
-
数学科学生のための計算機概論-7-関数値の計算例
-
数学科学生のための計算機概論-6-数値と数値表現
-
数学科学生のための計算機概論-5-プログラム-3-
-
数学科学生のための計算機概論-4-プログラム-2-
-
No.4 これからの算数・数学の授業で各種電卓をどう活用するか(V.特別部会(新たなふれあい部会),日本数学教育学会第83回総会全国算数・数学教育研究(埼玉)大会)
-
13C-1 三角形の諸「心」について(第13分科会 基礎・自由研究,III.高等学校部会,日本数学教育学会第83回総会全国算数・数学教育研究(埼玉)大会)
-
ある6次方程式の数値解法(数値計算基本アルゴリズムとそのソフトウェアの研究)
-
公衆暗号系の実現可能性と問題点
-
日本のソフトウェアの草創期 (日本のソフトウェアの草創期)
-
京都大学数理解析研究所図書室とデータベースRIMS PICMSについて (数学分野の情報検索 : 現状と方策)
-
数学と計算機
-
立体パズルと電子計算機 (数学とくに整数論,組合せ問題などの超大型計算)
-
指数型3次スプライン補間
-
数学科学生のための計算機概論-3-プログラム-1-
-
数学科学生のための計算機概論-2-計算機小史
-
数学科学生のための計算機概論-1-なぜ"計算機"なのか?
-
Gardnerの4分割問題について(数式処理と数学研究への応用)
-
スプライン関数とその応用
-
球の充填問題について(数値解析の基礎理論とその周辺)
-
浜田方式の数表現に対する誤差解析試論(自己検証的算法とその応用)
-
数式処理 : その過去・現在・未来(群と微分方程式の数式処理システムの研究)
-
微分方程式の数値解法をめぐって(常微分方程式の数値解法)
-
スピングラスの代数方程式について(数式処理と数学研究への応用)
-
収束の遅い級数の加速例(スーパーコンピュータのための数値計算アルゴリズムの研究)
-
ICM-86 の報告(数式処理と数学研究への応用)
-
数値解析
-
計算機読み書きの問題
-
正則格子による多重積分(数値計算の基本アルゴリズムの研究)
-
計算機読み書きの問題
-
数学研究への計算機の応用 : 数式処理を中心として
-
10-5 多項式の因数分解について
-
多項式の因数分解について(数式処理と数学研究への応用)
-
SCHLAFLIの函数について(函数方程式とその応用)
-
「数式処理と数学研究への応用」研究集会 : はしがき(数式処理と数学研究への応用)
-
アセンブラ (日本のソフトウェアの草創期)
-
数値計算の常識 (数値計算の動向)
-
数学分野の情報検索について (数学分野の情報検索 : 現状と方策)
-
増山氏の組合せ問題について
-
数式処理の実例 (数式処理と数学研究への応用)
もっと見る
閉じる
スポンサーリンク