連立方程式を与えると​係数と変数を分離して​、係数行列を返すよう​なソルバーは存在する​か？

連立方程式（連立一階微分方程式、連立線形方程式）をシンボリック的な式で与えると

係数と変数を分離して、係数を行列表現で

係数行列を返すようなソルバーは存在しますか？教えてください。

また、連立な高階微分方程式を連立一階微分方程式に変換する方法はありますか？

すなわち、連立した微分方程式を一階微分方程式に変換して状態方程式（状態空間モデル）の

行列表現を得たいのです。