Mills, Wendell; Weisfeiler, Boris; Krall, Allan M. Discovering theorems with a computer: the case of \(y'=\sin(xy)\). (English) Zbl 0431.34012 Am. Math. Mon. 86, 733-739 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 65J99 Numerical analysis in abstract spaces 34C10 Oscillation theory, zeros, disconjugacy and comparison theory for ordinary differential equations 34A12 Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations Keywords:accurate numerical solutions; oscillating solutions PDF BibTeX XML Cite \textit{W. Mills} et al., Am. Math. Mon. 86, 733--739 (1979; Zbl 0431.34012) Full Text: DOI