搜索结果: 1-1 共查到“数学 Computer Proofs”相关记录1条 . 查询时间(0.062 秒)
Phase Portraits of Planar Vector Fields: Computer Proofs
Computer Proofs Planar Vector Fields
2015/8/25
This paper presents an algorithm for computer veri cation of the
global structure of structurally stable planar vector elds. Constructing
analytical proofs for the qualitative properties of phase p...