コンピュータで数式を数式のまま扱って微分や積分、方程式の求解を行うソフトを「数式処理システム」といいます。そこでは高度な代数学の理論が駆使されますが、実際にシステムとして実現するにはコンピュータに対する深い知識も必要とされます。当研究室では数式処理の理論と応用をはじめ、数値解析や画像処理など、コンピュータと数学とのかかわりを研究しています。