雑誌電子情報通信学会技術研究報告 : 信学技報
Volume number115(419):2016.1.25・26
Articleハイブリッドシステム...

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

Icons representing 記事

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

(システム数理と応用)

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
027107610
Material type
記事
Author
松本 翔太ほか
Publisher
東京 : 電子情報通信学会
Publication date
2016-01
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(419):2016.1.25・26
Publication Page
p.93-98
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携
Author/Editor
松本 翔太
上田 和紀
Series Title
システム数理と応用
Author Heading
松本 翔太
上田 和紀
Alternative Title
Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
115(419):2016.1.25・26
Volume
115
Issue
419