Team SNAC Tsukuba

計算機技術の発展により、数式の計算も計算機上で行えるようになっています。私達は「計算機代数」を中心とし、数式の計算を計算機上で行うことで、数学に関連するいろいろな問題を解くための手法の開発や、それらの手法を用いた応用問題の解決に取り組んでいます。

• Symbolic computation = 数式処理（計算機代数）：計算機を用いて行う、数式を中心に扱う計算
• Numerical computation = 数値計算：計算機を用いて行う、数値を中心に扱う計算
• Algorithm and computation = アルゴリズムや実際の計算を扱います。

照井 章（筑波大学 数理物質系 数学域）