I have taken a lot of math in university, but chose to omit differential equations. Unfortunately, now I have to read computer science proofs that use them, mostly ODEs, and this is always a struggle. What textbook(s) should I read to take me from the basics to practical use of the theory?
If you are looking for practical solving of differential equations I recommend :
The second positions is absolutely the best ever written textbook on differential equations.
Maybe not so practical for solving special types of ODE's but still close to applications is
Another quite well written textbook dealing with differential equations is
This book however mainly describes qualitavie methods for dynamical systems, but there are many good examples.
The books which I referred are: