数学のためのコンピューターの使いみち

研究にコンピューターを使わない数学者も多いのですが…

数値計算
実世界への応用だけでなく、数学にも役立つ (知見が得られる)。
数値の誤差をどう扱うかは問題 (直接は数学にならない？)

数式処理 (computer algebra)
(数だけでなく) 式の計算ができる。
正確 (誤差がない)
もちろん、人手よりは速く、大規模なものも OK
かつてはメモリーを浪費するとして敬遠された。今は？

可視化 (映像化という方が分かりやすい？)
幾何学的対象はもちろん、数値計算結果など
やはり見た方が分かりやすい