陰的常微分方程式の現実特異点発見のための論理ベースアプローチ【JST・京大機械翻訳】

Seiler Werner M.; Seiss Matthias; Sturm Thomas

プレプリント

J-GLOBAL ID：202202212268231422 整理番号：21P0025695

陰的常微分方程式の現実特異点発見のための論理ベースアプローチ【JST・京大機械翻訳】

A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

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

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

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

論理からの方法を用いて,実数に対する陰的常微分方程式の幾何学的特異性の有効計算を論じた。微分方程式のVessiot理論により,幾何学的特異性を,方程式変化の特定の線形系の挙動が変化する点として特性化することができた。これらの点は,発見的単純化技術と実際の量子化器除去法と組み合わせたGauss除去の特別に適応したパラメトリック一般化を用いて発見できる。このアプローチの妥当性と適用性を,Reduceにおけるプロトタイプ実装を用いた計算実験で示した。【JST・京大機械翻訳】

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

図形・画像処理一般

, , , ,

前のページに戻る