A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations - Seiler, Werner M.; Seiß, Matthias; Sturm, Thomas (Mathematics in computer science, 2021)
Keywords: Algebraic Geometry; Biochemistry, Molecular Biology; Computer Science; Differential equations; Differential geometry; Dynamical Systems; Gaussian elimination; Life Sciences; Logic in Computer Science; Mathematical analysis; Mathematics; Mathematics and Statistics; Molecular Networks; Ordinary differential equations; Real numbers; Singularities; Symbolic Computation; Logic computation; 68W30; Primary 34A09; 34A26; Implicit differential equations; Geometric singularities; 37C10; Secondary 34-04; Vessiot distribution; 34C40; Real algebraic computations; 34C08; Logic computation Mathematics Subject Classification Primary 34A09