×

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
PDF BibTeX XML Cite
Full Text: DOI