ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携

Bibliographic Information

Other Title
  • ハイブリッド システム ノ シミュレーション ニ オケル セイド ホショウ スウチ ケイサン ト スウシキ ショリ ト ノ レンケイ
  • Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems
  • ソフトウェアサイエンス
  • ソフトウェア サイエンス

Search this article

Journal

Details 詳細情報について

Report a problem

Back to top