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

Seiler, Werner M.; Seiß, Matthias; Sturm, Thomas

doi:10.1007/s11786-020-00485-x

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学術論文

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

MPS-Authors

/persons/resource/persons73108

Sturm, Thomas
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

https://rdcu.be/cbpcP
(出版社版)

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

Seiler2021_Article_ALogicBasedApproachToFindingRe.pdf
(出版社版), 2MB

付随資料 (公開)

There is no public supplementary material available

引用

Seiler, W. M., Seiß, M., & Sturm, T. (2021). A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations. Mathematics in Computer Science, 15, 333-352. doi:10.1007/s11786-020-00485-x.

引用: https://hdl.handle.net/21.11116/0000-0007-79D5-1

要旨

要旨はありません