高度代数のコア目標:線形代数システムの構築と構造化された解析ツールの提供