作者: Ioan I. Vrabie , Mihai Necula , Ovidiu C
DOI:
关键词: Mathematics 、 Existential quantification 、 Function (mathematics) 、 Algorithm 、 Discrete mathematics
摘要: We consider the ordinary dierential equation 0 (t) = f(t,u(t)), where f : (a,b) ◊ D ! R n is a given function, while an open subset in . prove that, if K locally closed and there exists comparison