# zbMATH — the first resource for mathematics

Discovering theorems with a computer: the case of $$y'=\sin(xy)$$. (English) Zbl 0431.34012
##### 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
Full Text: