CAPD:DynSys:動的システムの厳密な数値解析のための柔軟なC++ツールボックス【JST・京大機械翻訳】

プレプリント

J-GLOBAL ID：202202211513845052 整理番号：21P0054281

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2020年10月14日プレプリントサーバーでの情報更新日： 2020年10月14日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

著者らは,動的システムの厳密な数値解析のためのDynSysライブラリを提示した。基本的な界面は,ODEの動力学における計算機支援証明に使用できる方法を示すいくつかの興味深い事例研究と共に記述される。【JST・京大機械翻訳】

, , , , ,
, 【Automatic Indexing@JST】

計算機システム運用管理 , 生産形態 , 筋骨格系・皮膚モデル , 有機化合物の物理分析 , 計算機網

, , , ,

前のページに戻る