科学・工学に現れる諸問題を解析・研究するにあたり，微分方程式等の形で数理モデル化を行い，問題を抽象化した上で，その性質を数学的に取り扱うという手法が一般的である。また近年は，扱う数理モデル自身が複雑になってきており，コンピュータテクノロジーの急激な発展ともあいまって，数理モデルの解析にコンピュータが欠かせないものとなっている。その際，用いられる解析技法は，数値解析の分野に限っても極めて多様である。また，数式処理技法等を組み合わせたハイブリッド処理も研究されている。本研究では，抽象化・一般化された数理モデル（主に微分方程式系）を対象として，これをコンピュータ上で解析するいくつかの数値・数式処理的技法，あるいはこれらのハイブリッド技法について論じる。