Mathematics and Educations

２００４年大学院で数式処理ソフトMapleを用いて離散可積分系について考察していた。
２００８年１０月に某公立高校で「コンピュータによる曲線の表示」の授業をGRAPESに用いて設計した。
今は【RIMS研究集会】数式処理と教育の講義録が欲しいなぁと思う。

さらに「数式処理」をgoogleで検索してみた
数式処理

Maximaなどのフリーソフトが上位にある。
記号数式処理 Jan. 2000 平野 拓一 の記事が興味深い。

はじめての数式処理ソフト CD-ROM付 (ブル-バックス) (新書) 竹内 薫 (著) は２００８年に購入して、暇なときに遊んでいる。

Mapleは上記で述べたように、大学院生時代に用いていた数式処理ソフトウェアである。

世の中には数式処理の学会もあるらしい
日本数式処理学会